Curriculum Vitae
Ausbildung, akademische Positionen und wissenschaftliches Engagement.
Ausbildung
-
1981: Habilitation und Venia Legendi für Mathematik,
Technische Universität Darmstadt.
-
1977: Promotion zum Dr. rer. nat.,
Technische Universität Darmstadt.
-
1974: Diplom in Mathematik, Nebenfach Physik,
Technische Universität Darmstadt.
Akademische Positionen
- Seit 10/1991: Professor für Theoretische Informatik, Philipps-Universität Marburg; emeritiert seit April 2017.
- 07/2013–12/2013: Visiting Professor, Chapman University, Orange, Kalifornien, USA.
- 09/1987–10/1991: Professor für Computer Science, State University of New York at New Paltz, USA.
- 03/1987–07/1987: Visiting Professor of Computer Science, University of California, Riverside, USA.
- 09/1985–03/1987: Visiting Professor of Computer Science, Universität Kassel.
- 09/1984–03/1985: Visiting Professor of Computer Science, Technische Universität Darmstadt.
- 08/1980–07/1981: Visiting Professor of Mathematics, University of Hawaii, Honolulu, USA.
- 1977–1980: Wissenschaftlicher Assistent für Mathematik, Technische Universität Darmstadt.
Forschung außerhalb der Universität
- 1982–1985: GSF-medis, heute Helmholtz Zentrum München: Forschung zu medizinischen Datenbankanwendungen, Datenorganisation und Prüfzifferverfahren.
- 1989–1995: Siemens Corporate Research, München: Forschung und Beratung zu Verifikation und Modellprüfung.
Wissenschaftliches Engagement
- Herausgeber von Algebra Universalis, seit 1981.
- Herausgeber des Journal of Universal Computer Science, 2002–2020.
- Mitglied des Steering Committee von CMCS – Coalgebraic Methods in Computer Science; Vorsitz 2010–2014.
- Engagement bei ASIIN, unter anderem im Fachausschuss Informatik.
Promovierte Studierende
- Martin Müller (1994)
- Tobias Schröder: Coalgebren und Funktoren (2001)
- Michael Damm: Total anti-symmetrische Quasigruppen (2004)
- Mehdi Zarrad: Coalgebraische Similarität (2017)
- Mona Taheri: Coalgebras of Topological Types (2019)