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 LyX-Distribution)

Teaching

· Winter 2026/27

• Logic

· Summer 2027

• Program-Verification

Contact

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

Office hours

• By appointment