Michael Kohlhase
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 136649
Dissertation: A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
Mathematics Subject Classification: 68—Computer science
Advisors 3
- Jörg H. SiekmannUniversity of Essex · 1976
- Peter Bruce AndrewsPrinceton University · 1964
- Frank PfenningCarnegie Mellon University · 1987
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Christoph E. Benzmüller | Universität des Saarlandes | 1999 | 9 |
| Fulya Feryal Horozal | Jacobs University Bremen | 2014 | 0 |
| Mihnea Iancu | Jacobs University Bremen | 2017 | 0 |
| Dennis Müller | Friedrich-Alexander-Universität Erlangen-Nürnberg | 2019 | 0 |
| Immanuel Normann | Not recorded | — | 0 |
| Florian Rabe | Jacobs University Bremen | 2008 | 3 |