Tobias Nipkow
Original record- Institution
- Victoria University of Manchester
- Year
- 1987
- Country
- United Kingdom
- MGP identifier
- 112831
Dissertation: Behavioural Implementation Concepts for Nondeterministic Data Types
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Cliff B. JonesInstitution not recorded
Students 31
| Name | Institution | Year | Students |
|---|---|---|---|
| Gertrud Bauer | Technische Universität München | 2006 | 0 |
| Stefan Berghofer | Technische Universität München | 2003 | 0 |
| Jasmin Christian Blanchette | Technische Universität München | 2012 | 6 |
| Julian M. Brunner | Technische Universität München | 2022 | 0 |
| Amine Chaieb | Technische Universität München | 2008 | 0 |
| Manuel Eberl | Not recorded | — | 0 |
| Florian Haftmann | Technische Universität München | 2009 | 0 |
| Maximilian Paul Louis Haslbeck | Not recorded | — | 0 |
| Katharina Heidler | Not recorded | — | 0 |
| Johannes Hölzl | Technische Universität München | 2013 | 0 |
| Lars Hupel | Not recorded | — | 0 |
| Fabian Immler | Not recorded | — | 0 |
| Gerwin Klein | Technische Universität München | 2003 | 2 |
| Alexander Krauss | Technische Universität München | 2009 | 0 |
| Ondřej Kunčar | Not recorded | — | 0 |
| Olaf Müller | Technische Universität München | 1998 | 0 |
| Dieter Nazareth | Technische Universität München | 1995 | 0 |
| Lars Noschinski | Not recorded | — | 0 |
| Steven Obua | Technische Universität München | 2008 | 0 |
| Christian Prehofer | Technische Universität München | 1995 | 0 |
| Leonor Prensa Nieto | Not recorded | — | 0 |
| Franz Regensburger | Technische Universität München | 1994 | 0 |
| Norbert Schirmer | Technische Universität München | 2006 | 0 |
| Konrad Slind | Technische Universität München | 1999 | 1 |
| Dmitriy Traytel | Not recorded | — | 0 |
| Klaus Ulrich Kurt Freiherr von Gleissenthall | Not recorded | — | 0 |
| David von Oheimb | Technische Universität München | 2001 | 0 |
| Tjark Weber | Technische Universität München | 2008 | 0 |
| Markus Wenzel | Technische Universität München | 2002 | 0 |
| Martin Wildmoser | Technische Universität München | 2006 | 0 |
| Simon Wimmer | Not recorded | — | 0 |