1984-89 Studium der Informatik und Mathematik in Braunschweig
1987-89 Stipendiat der “Studienstiftung des Deutschen Volkes”
1989 Informatik-Diplom an der TU Braunschweig

1989-95 wissenschaftlicher Mitarbeiter am Lehrstuhl
“Informatik für Ingenieure und Naturwisenschaftler”
von Prof. Dr.-Ing. Vollmar in Karlsruhe
1993 Promotion an der Universität Karlsruhe

1995-99 wissenschaftlicher Mitarbeiter im DFG-Projekt “KOMET”
am Lehrstuhl “Theoretische Informatik und Formale Sprachen”
von Prof. Dr. Lange in Tübingen
1999-2006 (mit Unterbrechungen) wissenschaftlicher Assistent
bei Prof. Dr. Lange in Tübingen
2002-04 Senior Lecturer (entspricht Hochschulassistent)
an der University of Newcastle (Australien)
2005-2006 (mit Unterbrechung) Principal Lecturer (Research) in Hatfield (UK)
2005 Habilitation an der Universität Tübingen

2005-2006 W3-Professur-Vertretung in Trier
ab 2006 W3-Professur für Theoretische Informatik in Trier