Vita
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 |