--- layout: person title: Prof. Dr. Michael Kohlhase fullname: Prof. Dr. Michael Kohlhase start_date: 2003-09 role: faculty pic: public/images/mkohlhase.jpg orcid: 0000-0002-9859-6337 github: kohlhase gitlab: mkohlhase mathhub: mkohlhase dblp: k/Kohlhase:Michael zbmath: kohlhase.michael researchgate: Michael_Kohlhase publink: auto affiliation: "Informatik, FAU Erlangen-Nürnberg & Computer Science, Carnegie Mellon University" --- ### Description 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](http://kwarc.info) (Knowledge Adaptation and Reasoning for Content) and in extended visits to Carnegie Mellon University, SRI International, and the Universities of Amsterdam, Edinburgh, and Auckland. ### Contact **Office**: Martensstraße 3, 91058 Erlangen, Room11.139, tel/fax: (49) 9131-85-64052/55, <michael.kohlhase@fau.de> **Secretary**: [Gabriele Schönberger](https://www8.cs.fau.de/gabi), Room 11.158, tel/fax: (49) 9131-85-64057/55, <gabriele.schoenberger@fau.de>