- Studium der Mathematik und Informatik an der Johannes Gutenberg-Universität Mainz
Diplom-Mathematiker 1989
Promotion 1995: On Winning Ehrenfeucht Games and Monadic NP
Habilitation 1999
- Ruf an die Friedrich-Schiller-Universität Jena 2000:
Professor für Informatik
März 2001 - Juli 2001
- Professor für Theoretische Informatik
Philipps-Universität Marburg
August 2001 - September 2005
- Professor für Theoretische Informatik: Logik in der Informatik
Universität Dortmund
seit Oktober 2005
- Preise:
- Preis der Landesbank Rheinland-Pfalz - Girozentrale - für die beste Dissertation des Jahres, 1995
- Preis für die beste Arbeit, ACM Symposium on Principles of Database Systems, 2006
- Preis für die beste Arbeit, ACM Symposium on Principles of Database Systems, 2007
- Studies in Mathematics and Computer Science at Johannes Gutenberg-Universität Mainz
Diploma 1989
Ph.D. 1995: On Winning Ehrenfeucht Games and Monadic NP
Habilitation 1999
- Friedrich-Schiller-Universität Jena 2000:
Professorship for Computer Science
March 2001 - July 2001
- Philipps-Universität Marburg:
Professorship for Theoretical Computer Science
August 2001 - September 2005
- Universität Dortmund
Full Professor for Theoretical Computer Science : Logic in Computer Science
since October 2005
- Awards:
- Landesbank Rheinland-Pfalz - Girozentrale - award for the best Dissertation of the year, 1995
- Best paper award, ACM Symposium on Principles of Database Systems, 2007
- Best paper award, ACM Symposium on Principles of Database Systems, 2007
|
|
|
|
|
|
