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 2023

• Program Verification

· Winter 2023/24

• Universal Coalgebra

· Summer 2024

• Computer-assisted Theorem Proving

Contact

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

Office hours

• By appointment