What is the type of organization of the institution where the author of the article 'Verified Analysis of Functional Data Structures' works?
education
Tobias Nipkow is the alternative name for Tobias Nipkow. Tobias Nipkow i10Index 100. Florian Haftmann and Tobias Nipkow: Code Generation via Higher-Order Rewrite Systems. (2010) authored by Tobias Nipkow. Tobias Nipkow is the author of Ursula Martin and Tobias Nipkow: Automating Squiggol. (1990). Tobias Nipkow is Person. Martin Rau and Tobias Nipkow: Closest Pair of Points Algorithms. (2022) authored by Tobias Nipkow. TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (2009) edited by Tobias Nipkow. Tobias Nipkow written paper amount in year2012: 8. Katharina Kreuzer and Tobias Nipkow: Verification of NP-Hardness Reduction Functions for Exact Lattice Problems. (2002) authored by Tobias Nipkow. Sascha Böhme and Tobias Nipkow: Sledgehammer: Judgement Day. (2010) authored by Tobias Nipkow. 565780639648'<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.
[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 is the type of organization of the institution where the author of the article 'Verified Analysis of Functional Data Structures' works?
Context: Tobias Nipkow is the alternative name for Tobias Nipkow. Tobias Nipkow i10Index 100. Florian Haftmann and Tobias Nipkow: Code Generation via Higher-Order Rewrite Systems. (2010) authored by Tobias Nipkow. Tobias Nipkow is the author of Ursula Martin and Tobias Nipkow: Automating Squiggol. (1990). Tobias Nipkow is Person. Martin Rau and Tobias Nipkow: Closest Pair of Points Algorithms. (2022) authored by Tobias Nipkow. TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (2009) edited by Tobias Nipkow. Tobias Nipkow written paper amount in year2012: 8. Katharina Kreuzer and Tobias Nipkow: Verification of NP-Hardness Reduction Functions for Exact Lattice Problems. (2002) authored by Tobias Nipkow. Sascha Böhme and Tobias Nipkow: Sledgehammer: Judgement Day. (2010) authored by Tobias Nipkow. 565780639648'<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.<unk>.
[/INST] Answer:
