Dr. Michael Kohlhase is professor for Knowledge Representation/Processing (Computer Science) at FAU Erlangen-Nürnberg and adjunct associate professor for Computer Science at Carnegie Mellon University.
His research interests include knowledge representation for STEM (Science, Technology, Engineering, Mathematics), inference-based techniques for natural language processing, computer-supported education and user assitance. He pursues these (interrelated) topics focusing on the aspects of modular foundations (usually logical methods) and large-scale structures in document corpora. The research is conducted in the context of the KWARC group (Knowledge Adaptation and Reasoning for Content) and in extended visits to Carnegie Mellon University, SRI International, and the Universities of Amsterdam, Edinburgh, and Auckland. Details in my CV or on Wikipedia
Office: Martensstraße 3, 91058 Erlangen, Room11.139, tel/fax: (49) 9131-85-64052/55, firstname.lastname@example.org
Secretary: Gabriele Schönberger, Room 11.158, tel/fax: (49) 9131-85-64057/55, email@example.com