Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results

mkohlhase.md

Blame
    • Forked from KWARC / kwarc.info / www
    1016 commits behind the upstream repository.
    mkohlhase.md 1.05 KiB 
    layout: person

title: Michael Kohlhase
fullname: Prof. Dr. Michael Kohlhase

role: faculty
pic: public/images/mkohlhase.jpg

start_date: 2003-09

affiliation: "Computer Science, FAU Erlangen-Nürnberg, Jacobs University Bremen, Carnegie
Mellon University"

    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

    Office at Jacobs University Bremen: Room 169 Research I, tel/fax: +49 421 200 3140/493140, m.kohlhase@jacobs-university.de

    Description

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