Personal data

Eduction and Degrees

• 1979 "Abitur" at Kardinal-von-Galen Gymnasium Kevelaer
• in 1980 start of studying computer science in Aachen
• in 1983/84 one academic year studying at University of Edinburgh
• 1988 "Informatik Diplom" (Master) at RWTH Aachen
  Diploma thesis (Supervisor: Werner Damm)
  "Implementierung eines Verifikationsbedingungsgenerators für die S*-Familie höherer Mikroprogrammiersprachen"
• 2001 "Dr.-Ing." (PhD) at TU Berlin
  Doctoral thesis (Supervisors: Peter Pepper, Stefan Jähnichen)
  "Zur Kontextanalyse einer algebraischen Programmiersprache"

Employments

• 1988-1991 programmer at Max Planck Institute for Human Development
• 1993-1998 research assistent and lecturer at TU Berlin
• 2001 research assistent at Fraunhofer Institut FIRST (initially GMD)
• 2002-2006 research assistent at Universität Bremen
• since May, 15th, 2006 senior researcher at DFKI Bremen