mkohlhase.md

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 (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

Contact

Office: Martensstraße 3, 91058 Erlangen, Room11.139, tel/fax: (49) 9131-85-64052/55, michael.kohlhase@fau.de

Secretary: Gabriele Schönberger, Room 11.158, tel/fax: (49) 9131-85-64057/55, gabriele.schoenberger@fau.de