Tobias Nipkow

Tobias Nipkow
Born1958 (age 67–68)
Known forIsabelle proof assistant
Scientific career
InstitutionsMIT, Cambridge University, TU Munich
ThesisBehavioural Implementation Concepts for Nondeterministic Data Types (1987)
Doctoral advisorCliff B. Jones
Websitewww21.in.tum.de/~nipkow

Tobias Nipkow (born 1958) is a German computer scientist.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.