Institut für Programmiermethodik und Compilerbau
- 1:
Lehre. - 2: Forschung.
- 3: Mitarbeiter.
- 3.1:
Prof. Dr. Helmuth Partsch.- 3.1.1:
Werdegang. - 3.1.2: Betreute Dissertationen.
- 3.1.3: Publikationen.
- 3.1.1:
- 3.2: Prof. Dr. Thom Frühwirth.
- 3.3: Ulrike Seiter.
- 3.4: Alexander Breckel.
- 3.5: Marcel Dausend.
- 3.6: Dominik Gessenharter.
- 3.7: Dr. Walter Guttmann.
- 3.8: Peter Nothelfer.
- 3.9: Dr. Alexander Raschke.
- 3.10: Tobias Weck.
- 3.11: Amira Zaki.
- 3.12: Externe Doktoranden.
- 3.13: Ehemalige Mitarbeiter und Doktoranden.
- 3.1:
- 4: Kontakt.
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 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 |
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 |
| 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 |