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 2013

• Praktische Informatik 1I
  Mo. 12:00-14:00 in HG 0700 (Biegenstraße)
  Mi. 10:00-12:00 in HG 0700 (Biegenstraße)
  Übungsseite mit Skript
• Model Checking
  Mo. 16:00-18:00 in HS V (Lahnberge)
  Di. 16:00-18:00 in HS III (Lahnberge)
• Beginn am 22.4.2013
  Ü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 15:00-16:00. (Keine Sprechzeit am 16.4.2013)
• und nach Vereinbarung