Michael Kohlhase: Curriculum Vitae

Affiliations

Professor of Computer Science School of Engineering and Sciences, Jacobs University
Adjunct Associate Professor: School of Computer Science, Carnegie Mellon University
Vice Director:DFKI Lab Bremen (Safe and Secure Cognitive Systems Division)

Personal

Citizen of Germany,
born September 13, 1964 Erlangen, Germany
Married, three children.

Studies and Qualifications

1999: Habilitation, Universität des Saarlandes.
1994: PhD, Fachbereich Informatik, Universität des Saarlandes.
Thesis: A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
Supervisors: Prof. Dr. Jörg Siekmann (Universität des Saarlandes) and Prof. Dr. Frank Pfenning (Carnegie Mellon University).
1992 - 1994 Graduate study at the Department of Computer Science, Universität des Saarlandes
1990 - 1991 Graduate study at the Department of Computer Science, Universität Kaiserslautern
MSc, Mathematisches Institut Universität Bonn 1987.
Thesis: Eine hinreichende Bedingung für die starke, homologische Minimalität von kompakten, F-extremalen Hyperflächen in glatten Mannigfaltigkeiten. Supervisor: Prof. Dr. Stephan Hildebrand
1985 - 1989: Graduate Studies at Department of Mathematics, Universität Bonn
1983 - 1985: Undergraduate Studies Department of Mathematics Universität Tübingen.

Research Visits

Dec. 2005/Jan.2006: Connexions, Rice University, Houston, USA
With Prof. Rich Baraniuk

March, April 1999: Artificial Intelligence Center at SRI International, Stanford, USA
With Jerry Hobbs

May-August 1998: Centrum voor Wiskunde en Informatica (CWI) Amsterdam
With Jan van Eijck

May - July 1996: Department of Artificial Intelligence The University of Edinburgh, UK
With the DREAM group of Alan Bundy

March, April 1995: CWI and ILLC, University of Amsterdam, NL
With Jan van Eijk and Johan van Benthem

Aug. 1992 - Feb. 1993, Department of Mathematics, Carnegie Mellon University, Pittsburgh Pa, USA
With Peter Andrews and Frank Pfenning

Awards

2000 3-year Heisenberg-Stipend of the Deutsche Forschungsgemeinschaft (DFG).
1996 AKI-prize, dissertation prize of the "Arbeitsgemeinschaft deutscher KI-Institute (AKI)"
1991 dissertation stipend of the ``Studienstiftung des Deutschen Volkes'' (German National Merit Foundation)
1986 masters stipend of "Studienstiftung des Deutschen Volkes" (German National Merit Foundation)

Employment and Stipends

2003- present: Professor for Computers Science, Jacobs University Bremen.
2006- present: Vice Director "Safe and Secure Cognitive Systems" DFKI Lab Bremen.
2000 - 2003: visiting researcher and adjunct associate professor (since 2001) at the School of Computer Science, Carnegie Mellon University on a 3-year Heisenberg stipend from the Deutsche Forschungsgemeinschaft (DFG).
1999 - 2003: Hochschuldozent (C2 = associate professor) at the department of Computer Science, Saarland Unversity, Germany
1997 - 1999: Hochschulassistent (C1 = assistant professor) at the department of Computer Science, Saarland University, Germany
1992 - 1997: Researcher for the department of Computer Science, Saarland University, Germany
1991 - 1993: Dissertation Stipend of the German National Merit Foundation (Studienstiftung des Deutschen Volkes)
1990 - 1991: Researcher for the department of Computer Science, Universität Kaiserslautern
1987 - 1989: Stipend of the German National Merit Foundation (Studienstiftung des Deutschen Volkes)

School

1983 Abitur.
1974 - 1983: Wildermuthgymnasium, Tübingen
September 1980 - January 1981: Acalanes High School, Lafayette Ca, USA
August 1975 - January 1996: Clays Mill Elementary School, Lexington Ky, USA
1971 - 1974: Grundschule Winkelwiese, Tübingen
1970 - 1971: Grundschule St. Mauritz, Münster