What institution type is the affiliation of the creator of 'Variations on Safety'?
education
Orna Kupferman is the author of Shaull Almagor and Orna Kupferman: Latticed-LTL Synthesis in the Presence of Noisy Inputs. (2017) authored by Orna Kupferman. Rastislav Bod<unk>k et al.: Software Synthesis, 06.12. - 11.12.2009 (2009) edited by Orna Kupferman. Orna Kupferman and Sharon Zuhovitzky: An Improved Algorithm for the Membership Problem for Extended Regular Expressions. (2012) authored by Orna Kupferman. Orna Kupferman and Shulamit Halamish: Approximating Deterministic Lattice Automata. (2017) authored by Orna Kupferman. Orna Kupferman and Guy Avni: Synthesis from component libraries with costs. (2015) authored by Orna Kupferman. Benjamin Aminof et al.: Formal Analysis of Online Algorithms. (2010) authored by Orna Kupferman. Orna Kupferman written paper amount in year2015: 12. Guy Avni and Orna Kupferman: Synthesis from Component Libraries with Costs. (2014) authored by Orna Kupferman. Orna Kupferman et al.: A Game-Theoretic Approach to Simulation of Data-Parameterized Systems. (2006) authored by Orna Kupferman. Orna Kupferman modified 2023-10-18D. "<unk>. <unk>nShe studied mathematics to get her bachelor's degree in science from Princeton in 1999.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: What institution type is the affiliation of the creator of 'Variations on Safety'?
Context: Orna Kupferman is the author of Shaull Almagor and Orna Kupferman: Latticed-LTL Synthesis in the Presence of Noisy Inputs. (2017) authored by Orna Kupferman. Rastislav Bod<unk>k et al.: Software Synthesis, 06.12. - 11.12.2009 (2009) edited by Orna Kupferman. Orna Kupferman and Sharon Zuhovitzky: An Improved Algorithm for the Membership Problem for Extended Regular Expressions. (2012) authored by Orna Kupferman. Orna Kupferman and Shulamit Halamish: Approximating Deterministic Lattice Automata. (2017) authored by Orna Kupferman. Orna Kupferman and Guy Avni: Synthesis from component libraries with costs. (2015) authored by Orna Kupferman. Benjamin Aminof et al.: Formal Analysis of Online Algorithms. (2010) authored by Orna Kupferman. Orna Kupferman written paper amount in year2015: 12. Guy Avni and Orna Kupferman: Synthesis from Component Libraries with Costs. (2014) authored by Orna Kupferman. Orna Kupferman et al.: A Game-Theoretic Approach to Simulation of Data-Parameterized Systems. (2006) authored by Orna Kupferman. Orna Kupferman modified 2023-10-18D. "<unk>. <unk>nShe studied mathematics to get her bachelor's degree in science from Princeton in 1999.
[/INST] Answer:
