Michael Kohlhase
German computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Michael Kohlhase?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Not to be confused with Michael Kohlhaas.
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]
Quick Facts Born, Nationality ...
Michael Kohlhase | |
---|---|
Born | (1964-09-13) 13 September 1964 (age 59) |
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 |
Close