Michael Kohlhase
Ph. D. Universität des Saarlandes 1994
Dissertation:
A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
Mathematics Subject Classification: 68—Computer science
Advisor 1: Jörg H. Siekmann
Advisor 2: Peter Bruce Andrews
Advisor 3: Frank Pfenning
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Benzmüller, Christoph | Universität des Saarlandes | 1999 | 8 |
| Normann, Immanuel | Jacobs University Bremen | 2008 | |
| Rabe, Florian | Jacobs University Bremen | 2008 | 3 |
| Horozal, Fulya | Jacobs University Bremen | 2014 | |
| Iancu, Mihnea | Jacobs University Bremen | 2017 | |
| Müller, Dennis | Friedrich-Alexander-Universität Erlangen-Nürnberg | 2019 |
According to our current on-line database, Michael Kohlhase has 6 students and 14 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 136649 for the advisor ID.