Wissenschaftlicher Werdegang und Berufstätigkeit

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

Aktuelle wissenschaftliche Aktivitäten

seit 2007 Mitglied im Kompetenzzentrum <i>automotive</i> der Universität Ulm
seit 2005 Mitglied der Fachgruppe ASE der GI (Automotive Software Engineering)
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 (Member Emeritus, Algorithmic Languages and Calculi)
seit 1976 Mitglied der Gesellschaft für Informatik

Abgeschlossene wissenschaftliche Aktivitäten

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
2004-2015 Mitglied im Kuratorium des FAW/n (Forschungsinstitut für anwendungsorientierte Wissensverarbeitung/n)
2003-2015 Mitglied der Studienkommission des Fakultätentags Informatik
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-2010 Mitglied der Fachgruppe 0.1.7 der GI (Spezifikation und Semantik)
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