menu
Prof. Dr. Michael Kohlhase
Faculty
KWARCie since September 2003
Informatik, FAU Erlangen-Nürnberg & Computer Science, Carnegie Mellon University
ALMANAC
arXMLiv
CoMMa
MaMoReD
OAF
ODK
Tetrapod

KAT
LLaMaPuN
MathHub
MMT
MWS
OMDoc
sTeX
Sally
SMGLoM

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

Description

I am also an adjunct associate professor at the School of Computer Science Carnegie Mellon University. My research is conducted in the context of the KWARC group (Knowledge Adaptation and Reasoning for Content) go there for an overview.

ORCID: 0000-0002-9859-6337, zbMATH ID: kohlhase.michael