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

· Summer 2025

• Program Verification

· Winter 2025/26

• Universal Coalgebra

· Summer 2026

• Computer-assisted Theorem Proving

Contact

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

Office hours

• By appointment