1996: AKI-Dissertationspreis der „Arbeitsgemeinschaft deutscher KI-Institute (AKI)“ 1991: Promotionsstipendium der Studienstiftung des deutschen Volkes 1986: Stipendium der Studienstiftung des deutschen Volkes Michael Kohlhases aktuelle Forschungsinteressen umfassen automatisches Beweisen und Wissensrepräsentation für Mathematik, inferenzbasierte Verfahren zum Natural language processing und Semantik sowie E-Learning.
1996 AKI-prize, dissertation prize of the "Arbeitsgemeinschaft deutscher KI-Institute (AKI)" 1991 dissertation stipend of the Studienstiftung (German National Academic Foundation) 1986 masters stipend of Studienstiftung Michael Kohlhase's current research interests include Automated theorem proving and knowledge representation for mathematics, inference-based techniques for natural language processing and semantics, and computer-supported education.WikiMatrix WikiMatrix