Prof. Dr. Michael Kohlhase
School of Engineering & Science, Jacobs University Bremen
Office: Room 169 Research I
tel/fax: +49 421 200 3140/493140
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.