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 2010

  • Theoretische Informatik
    Di. 8:00-10:00 in HG 5
    Mi. 8:00-10:00 in HG 4
    Übungsseite mit Skript
    
    
  • Model Checking
    Di. 14:00-16:00 in HS II
    Do. 14:00-16:00 in HS II
    Ü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

• Sprechzeiten nach e-mail Vereinbarung