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 |
Tobias Nipkow (born 1958) is a German computer scientist.