Zur Person

Ausbildung und Abschlüsse

• 1979 Abitur am Kardinal-von-Galen Gymnasium Kevelaer
• ab 1980 Studium der Informatik in Aachen
• im akademischen Jahr 1983/84 Studium an der University of Edinburgh
• 1988 Informatik Diplom an der RWTH Aachen
  Diplomarbeit (Gutachter: Werner Damm)
  "Implementierung eines Verifikationsbedingungsgenerators für die S*-Familie höherer Mikroprogrammiersprachen"
• 2001 Dr.-Ing. an der TU Berlin
  Doktorarbeit (Gutachter: Peter Pepper, Stefan Jähnichen)
  "Zur Kontextanalyse einer algebraischen Programmiersprache"

Anstellungen

• 1988-1991 Informatiker am Max-Planck-Institut für Bildungsforschung
• 1993-1998 wissenschaftlicher Mitarbeiter mit Lehrverpflichtung an der TU Berlin
• 2001 ein Jahr wissenschaftlicher Mitarbeiter am Fraunhofer Institut FIRST (vormals GMD)
• 2002-2006 wissenschaftlicher Mitarbeiter an der Universität Bremen
• seit 15. Mai 2006 Senior Researcher am DFKI Bremen