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.