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