Curriculum vitae:
1981 Diplom in Informatik an der RWTH Aachen; 1986 Promotion an der TU Enschede/Niederlande; 1990 Habilitation für Informatik an der RWTH Aachen; 1991 Professor für T heoretische Informatik an der Universität Ulm; seit 1994 Professor für Grundlagen der Programmierung am Institut für T heoretische Informatik sowie 1997 bis 2000 Dekan der Fakultät Informatik an der TU Dresden.