Tobias Nipkow

Tobias Nipkow
Born 1958
Residence Munich
Institutions MIT, Cambridge University, TU Munich
Thesis Behavioural Implementation Concepts for Nondeterministic Data Types (1987)
Doctoral advisor Cliff B. Jones
Doctoral students Gertrud Bauer, Stefan Berghofer, Amine Chaieb, Florian Haftmann, Johannes Hölzl, Gerwin Klein, Alexander Krauss, Olaf Müller, Dieter Nazareth, Steven Obua, Christian Prehofer, Leonor Prensa-Nieto, Franz Regensburger, Norbert Schirmer, Konrad Slind, David von Oheimb, Tjark Weber, Markus Wenzel, Martin Wildmoser
Known for Isabelle proof assistant
Website
www21.in.tum.de/~nipkow

Tobias Nipkow (born 1958) is a German computer scientist. He received his Diplom (MSc) in computer science from the Technische Hochschule Darmstadt in 1982, and his Ph.D. from the University of Manchester in 1987. He worked at MIT 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.[1]

Selected publications

References

External links


This article is issued from Wikipedia - version of the Friday, April 03, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.