1986

Abitur

1987 - 1989

Zivildienst beim Deutschen Paritätischen Wohlfahrtsverband

1986 - 1992

Studium der Informatik an der Universität Bremen

1989-1992

Förderung durch die Studienstiftung des deutschen Volkes

1992

Diplom, Note "sehr gut"

1993 - 1996

Promotionsstipendium der Studienstiftung des deutschen Volkes

1996

Promotion, Prädikat "summa cum laude"

1996 - 2000

Postdoktorandenstipendium der Universität Bremen bei Prof. Dr. Hans-Jörg Kreowski

2000 - 2002

wissenschaftlicher Mitarbeiter der Universität Bremen, formale Methoden der Softwaretechnik

2002 - 2005

wissenschaftlicher Assistent der Universität Bremen, formale Methoden der Softwaretechnik

2005

Habilitation

2008 - 2009

Vertretungsprofessur (für Prof. Dr. Bernhard Nebel) an der Albert-Ludwigs-Universität Freiburg

2011

Verleihung der Bezeichnung Professor durch die Universität Bremen

2006 - 2013

Senior Researcher am Deutschen Forschungszentrum für künstliche Intelligenz GmbH

2013

Ruf auf die Professur "Kognitive Systeme" der Friedrich-Alexander-Universität Erlangen-Nürnberg (abgelehnt)

seit Oktober 2013

Professor für theoretische Informatik, Otto-von-Guericke Universität Magdeburg