Academic CV and professional activities
| since 2006 | professor for computer science (director of the institute of software engineering and compiler construction) at the faculty of engineering and computer sciences of Ulm University, Germany |
| 1993-2006 | professor for computer science (head of the department of programming methodology and compiler construction) at the faculty of computer science of Ulm University, Germany |
| 1986-1992 | professor for computer science (in the field of software engineering) at the faculty for mathematics and computer science of the Catholic University of Nijmegen, The Netherlands |
| 1985 | Habilitation (Dr. rer. nat. habil.) for computer science at the TU Munich (title of the thesis: Transformational program development in a particular problem domain) |
| 1979 | Ph.D. (Dr. rer. nat.) at the TU Munich (title of the thesis: Construction of efficient Markov-algorithms by program transformation) |
| 1974-1986 | scientific researcher at the TU Munich (with Prof. Dr. Dr. h. c. mult. F. L. Bauer) |
| 1974 | diploma in computer science with mathematics as a minor subject at the TU Munich |
| 1970-1974 | student of computer science/mathematics at the TU Munich |
| 1969-1970 | student of mathematics/physics at the Julius-Maximilians-University Würzburg |
Ongoing scientific activities
| since 2007 | member of the competence centre <i>automotive</i> of Ulm University |
| since 2005 | member of the section ASE of the GI (Automotive Software Engineering) |
| since 1983 | member of the section 2.1.6 of the GI (Requirements Engineering, former section 4.3.1) |
| since 1980 | member of the IFIP Working Group 2.1 (Member Emeritus, Algorithmic Languages and Calculi) |
| since 1976 | member of the Gesellschaft für Informatik |
Completed scientific activities
| 2006-2008 | dean of the faculty of engineering and computer sciences of Ulm University |
| 2004-2006 | dean of the faculty of computer science of Ulm University |
| 2004-2015 | member of the board of trustees of the FAW/n (Research Institute for Applied Knowledge Processing/n) |
| 2003-2015 | member of the committee of study affairs of the association of computer science faculties |
| 2000-2003 | vice rector (for teaching) of Ulm University |
| 1994-1999 | dean for studies of the faculty of computer science of Ulm University |
| 1993-2004 | member of the foundational board of the FAW (Research Institute for Applied Knowledge Processing) |
| 1992-2010 | member of the section 0.1.7 of the GI (Specification and Semantics) |
| 1992-2001 | member of the IFIP Working Group 13.4 (Foundations of System Specification) |
| 1989-1993 | co-editor of IEEE Transactions on Software Engineering |
| 1989-1992 | member of the research advisory board of the CWI (Centrum voor Wiskunde en Informatica) in Amsterdam |
| 1988-1993 | chairman of the IFIP WG 2.1 |
| 1988-1992 | member of the scientific advisory board of the Dutch SERC (Software Engineering Research Center) in Utrecht |
| 1983-1995 | member of the technical committee 4.3 (Requirements Engineering) of the GI |
| 1983-1988 | vice spokesperson of the section 4.3.1 of the GI |