Michael Kohlhase | |
|---|---|
 | |
| Born | 13 September 1964 |
| Nationality | German |
| Alma mater | Saarland University |
| Known for | OMDoc |
| Scientific career | |
| Fields | Mathematics, Computer Science |
| Thesis | A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle (1994) |
| Doctoral advisor | Jörg Siekmann Frank Pfenning |
Michael Kohlhase (born 13 September 1964, in Erlangen) is a German computer scientist and professor at University of Erlangen–Nuremberg, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content).[1]