Newer
Older
gitlab: mkohlhase
mathhub: mkohlhase
dblp: k/Kohlhase:Michael
zbmath: kohlhase.michael
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.
**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>