Tobias Nipkow

Tobias Nipkow
Born1958
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 licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.