Tobias Nipkow
Tobias Nipkow (born 1958) is a German computer scientist.
Tobias Nipkow | |
|---|---|
| Born | 1958 |
| Known for | Isabelle proof assistant |
| Scientific career | |
| Institutions | MIT, Cambridge University, TU Munich |
| Thesis | Behavioural Implementation Concepts for Nondeterministic Data Types (1987) |
| Doctoral advisor | Cliff B. Jones |
| Website | www21 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.