| 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 |
| since 2007 |
member of the competence centre automotive of Ulm University |
| since 2005 |
member of the section ASE of the GI (Automotive Software Engineering) |
| since 2004 |
member of the board of trustees of the FAW/n (Research Institute for Applied Knowledge Processing/n) |
| since 2003 |
member of the committee of study affairs of the association of computer science faculties |
| since 1992 |
member of the section 0.1.7 of the GI (Specification and Semantics) |
| 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 (Algorithmic Languages and Calculi) |
| since 1976 |
member of the Gesellschaft für Informatik |
| 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 |
| 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-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 |
Teaching.
Prof. Dr. Helmuth Partsch.
Academic CV.