Michael Kohlhase
Professor of Computer Science
Jacobs University
tel.: +49 421 200 3140
fax: +49 421 200 493140
skype: m.kohlhase
m dot kohlhase at jacobs-university dot de

I am also an adjunct associate professor at the School of Computer Science Carnegie Mellon University.
My research is
mostly conducted in the context of the KWARC group
(Knowledge Adaptation and Reasoning for
Content) go there for an overview.
Office - Jacobs (except Thu)
Room 168, Research 1
School of Engineering &Science
Jacobs University,
D-28759 Bremen, Germany