Prof. Dr. H. Peter Gumm

Forschung

• Arbeitsgebiete

• Coalgebren
• Verifikation verteilter Systeme
• Universelle Algebra

Publikationen

• Bücher und Monographien
• Artikel

Projekte

• Lehrbuch: Einführung in die Informatik mit Manfred Sommer
• Microcode-Simulator mit M.Perner
• NPPV(New Paltz Program Verifier)
• Using XY-pic in LyX (Documentation) html or pdf

Lehre

• Forschungssemester im Wintersemester 09/10

  geplant für Sommersemester 09/10 :

  • Praktische Informatik I
  • Model Checking

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

• Im WS 09/10 Forschungssemester
  Sprechzeiten nach e-mail Vereinbarung