Prof. Dr. H. Peter Gumm

,,,

Forschung

• Coalgebren
• Verifikation verteilter Systeme
• Universelle Algebra

Publikationen

• Bücher und Monographien
• Artikel

• Using XY-pic in LyX (Documentation) html or pdf

Lehre

· Sommersemester 2011

• Logik
  Mo. 10:00-12:00 in HG 4 (Biegenstraße)
  Do. 12:00-14:00 in HG 7 (Biegenstraße)
  Übungsseite mit Skript
• Model Checking
  Mo. 14:00-16:00 in HS V (Lahnberge)
  Di. 16:00-18:00 in HS V (Lahnberge)
  Übungsseite mit Skript

Kontakt

• Tel.: (06421) 28-21516
• Fax: (06421) 28-25419
• E-Mail
• Sekretariat (Ebene D5, Zi 5426)
• Frau Heinbächer,  Tel.: -21514
• Frau Dinklage, Tel: -21513
• Hinweise für Besucher des FB Mathematik u. Informatik

Sprechzeiten

• Di 14:00-15:00
• und nach Vereinbarung