Where did the author of Markov Models receive his Ph.D. degree from?
University of Manchester
Tobias Nipkow and Maximilian P. L. Haslbeck: A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions. (2001) authored by Tobias Nipkow. Martin Wirsing et al.: A decidability result about sufficient-completeness of abstract data types. (1983) authored by Tobias Nipkow. Tobias Nipkow is the author of Florian Haftmann and Tobias Nipkow: Code Generation via Higher-Order Rewrite Systems. (2008). He is also the author of Klaus Aehlig and Tobias Nipkow: A Compiled Implementation of Normalization by Evaluation. (2008). Tobias Nipkow and Gregor Snelting: Type Classes and Overloading Resolution via Order-Sorted Unification. (1991) authored by Tobias Nipkow. Florian Haftmann et al.: Data Refinement in Isabelle/HOL. (2013) authored by Tobias Nipkow. Tobias Nipkow: Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism. (2016) authored by Tobias Nipkow'<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: Where did the author of Markov Models receive his Ph.D. degree from?
Context: Tobias Nipkow and Maximilian P. L. Haslbeck: A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions. (2001) authored by Tobias Nipkow. Martin Wirsing et al.: A decidability result about sufficient-completeness of abstract data types. (1983) authored by Tobias Nipkow. Tobias Nipkow is the author of Florian Haftmann and Tobias Nipkow: Code Generation via Higher-Order Rewrite Systems. (2008). He is also the author of Klaus Aehlig and Tobias Nipkow: A Compiled Implementation of Normalization by Evaluation. (2008). Tobias Nipkow and Gregor Snelting: Type Classes and Overloading Resolution via Order-Sorted Unification. (1991) authored by Tobias Nipkow. Florian Haftmann et al.: Data Refinement in Isabelle/HOL. (2013) authored by Tobias Nipkow. Tobias Nipkow: Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism. (2016) authored by Tobias Nipkow'<unk>.
[/INST] Answer:
