| seit 2006 |
ordentlicher Professor für Informatik (Direktor des Instituts für Programmiermethodik und Compilerbau) an der Fakultät für Ingenieurwissenschaften und Informatik der Universität Ulm |
| 1993-2006 |
ordentlicher Professor für Informatik (Leiter der Abteilung Programmiermethodik und Compilerbau) an der Fakultät für Informatik der Universität Ulm |
| 1986-1992 |
ordentlicher Professor für Informatik (Fachgebiet Software Engineering) an der Fakultät für Mathematik und Informatik der Katholischen Universität Nijmegen, Niederlande |
| 1985 |
Habilitation (Dr. rer. nat. habil.) für das Fach Informatik an der TU München (Habilitationsschrift: Transformational program development in a particular problem domain) |
| 1979 |
Promotion (Dr. rer. nat.) an der TU München (Dissertation: Konstruktion effizienter Markov-Algorithmen durch Programmtransformation) |
| 1974-1986 |
wissenschaftlicher Mitarbeiter an der TU München (bei Prof. Dr. Dr. h. c. mult. F. L. Bauer) |
| 1974 |
Diplom in Informatik mit Nebenfach Mathematik an der TU München |
| 1970-1974 |
Studium Informatik/Mathematik an der TU München |
| 1969-1970 |
Studium Mathematik/Physik an der Julius-Maximilians-Universität in Würzburg |
| seit 2007 |
Mitglied im Kompetenzzentrum automotive der Universität Ulm |
| seit 2005 |
Mitglied der Fachgruppe ASE der GI (Automotive Software Engineering) |
| seit 2004 |
Mitglied im Kuratorium des FAW/n (Forschungsinstitut für anwendungsorientierte Wissensverarbeitung/n) |
| seit 2003 |
Mitglied der Studienkommission des Fakultätentags Informatik |
| seit 1992 |
Mitglied der Fachgruppe 0.1.7 der GI (Spezifikation und Semantik) |
| seit 1983 |
Mitglied der Fachgruppe 2.1.6 der GI (Requirements Engineering, früher 4.3.1) |
| seit 1980 |
Mitglied von IFIP Working Group 2.1 (Algorithmic Languages and Calculi) |
| seit 1976 |
Mitglied der Gesellschaft für Informatik |
| 2006-2008 |
Dekan der Fakultät für Ingenieurwissenschaften und Informatik der Universität Ulm |
| 2004-2006 |
Dekan der Fakultät für Informatik der Universität Ulm |
| 2000-2003 |
Prorektor (für Lehre) der Universität Ulm |
| 1994-1999 |
Studiendekan der Fakultät für Informatik der Universität Ulm |
| 1993-2004 |
Mitglied im Stiftergremium des FAW (Forschungsinstitut für anwendungsorientierte Wissensverarbeitung) |
| 1992-2001 |
Mitglied von IFIP Working Group 13.4 (Foundations of System Specification) |
| 1989-1993 |
Mitherausgeber von IEEE Transactions on Software Engineering |
| 1989-1992 |
Mitglied im Forschungs-Beirat des CWI (Centrum voor Wiskunde en Informatica) in Amsterdam |
| 1988-1993 |
Chairman von IFIP WG 2.1 |
| 1988-1992 |
Mitglied im wissenschaftlichen Beirat des niederländischen SERC (Software Engineering Research Center) in Utrecht |
| 1983-1995 |
Mitglied im Fachausschuß 4.3 (Requirements Engineering) der GI |
| 1983-1988 |
stellvertretender Sprecher der Fachgruppe 4.3.1 der GI |