Education
He received his Diplom (Master of Science ) in computer science from the Technische Hochschule Darmstadt in 1982, and his Doctor of Philosophy from the University of Manchester in 1987.
- Photos
- Works
- Photos
- Works
Tobias Nipkow
Edit ProfileCareer
He worked at Massachusetts Institute of Technology from 1987, changed to Cambridge University in 1989, and to Technical University Munich in 1992, where he was appointed professor for programming theory. He is chair of the Logic and Verification group since 2011. He is known for his work in interactive and automatic theorem proving, in particular for the Isabelle proof assistant.
He is the editor of the Journal of Automated Reasoning.
Moreover, he focuses on programming language semantics, type systems and functional programming. and Qian, Z. Tobias Nipkow.
