Michael Kohlhase

Prof. Dr. Michael Kohlhase is a Professor in the Computer Science department at FAU Erlangen-Nürnberg and an Adjunct Associate Professor at Carnegie Mellon University. His work spans Computer Science and Formal Methods, focusing on Mathematical Knowledge Management (MKM), Knowledge Representation, and Natural Language Processing (NLP) in STEM domains. He leads the KWARC (Knowledge Adaptation and Reasoning for Content) research group, driving projects like OMDoc, sTeX, and MathHub.

His research emphasizes modular logical foundations for mathematical knowledge and large-scale document corpora analysis, with applications in computer-supported education and semantic document systems. Collaborations include extended visits to institutions such as SRI International, University of Amsterdam, and University of Edinburgh.

Key projects include developing scalable module systems for formal mathematics, theory graph models for knowledge integration, and mathematical search engines like MathWebSearch. His work bridges formal logic with practical software systems, ensuring interoperability across proof assistants, computer algebra systems, and educational tools.