Heinz-Peter Gumm
Emeritierter Professor für Theoretische Informatik
Ich war bis zu meiner Emeritierung am 31. März 2017 Professor für Theoretische Informatik am Fachbereich Mathematik und Informatik der Philipps-Universität Marburg. Auch nach der Emeritierung bin ich in Lehre und Forschung aktiv.
Meine wissenschaftlichen Interessen liegen insbesondere in der universellen Algebra, der universellen Coalgebra und den formalen Methoden der Informatik.
Forschungsinteressen
- Universelle Algebra und universelle Coalgebra
- Logik und theoretische Informatik
- Programmverifikation und Programmsynthese
- Interaktive Beweissysteme
- Zustandsbasierte Systeme und Modellierung
News
- WS 2026/27 CS 370 - Logik. Vorlesung: Mo und Mi 14:00 in HS IV, Lahnberge. Übung nach Vereinbarung.
- SoSe 2027 Programmverifikation und -synthese. Interessierte Tutorinnen und Tutoren können sich gerne melden.
- Neuerscheinung (mit Manfred Sommer): Informatik I, II und III, 12. Auflage, DeGruyter-Brill, 2026.
Kontakt
- Telefon
- +49 (0) 6421 28-21516
- Sekretariat
- Frau Heinbach, Tel. -21513
- Sprechstunde
- nach Vereinbarung
- Adresse
-
Hans-Meerwein-Straße 6
35032 Marburg
Nachricht senden
Sie können über dieses Formular eine E-Mail vorbereiten. Die E-Mail-Adresse wird auf der Webseite nicht im Klartext angezeigt.
Beim Anklicken wird Ihr lokal eingerichtetes E-Mail-Programm geöffnet.