Prof. Dr. H. Peter Gumm

Research

• Coalgebras
• Universal Algebra
• Verification

Publications

• Books and Monographs
• Articles
• Documentation:
• Using XY-pic in LyX html or pdf
• (Part of distribution)

Teaching

· Summer 2022

• State Based Systems - Universal Coalgebra

· Winter 2022/23

• Logik

· Summer 2023

• Program Verification and Synthesis

Contact

• Phone: +49 (0) 6421 28 - 21516
• E-Mail
• Sekretary: Ms. Dinklage, Tel: - 21513
• Information for Visitors

Office hours

• By appointment