H. Peter Gumm

Prof. Dr. H. Peter Gumm

$Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: U:\.www\english_flag.gif$ $Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: U:\.www\german_flag.gif$

,,,

Forschung

Coalgebren
Verifikation verteilter Systeme
Universelle Algebra

Publikationen

$Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: U:\.www\LyX.png$ Using XY-pic in LyX (Documentation) html or pdf

Lehre

· Sommersemester 2012

Theoretische Informatik
Mi. 8:00-10:00 in HG 110 (Biegenstraße)
Do. 10:00-12:00 in HG 5 (Biegenstraße)
Übungsseite mit Skript
Zustandsbasierte Systeme - Coalgebra
Mo. 10:00-12:00 in HS II (Lahnberge)
Di. 8:15-10:00 in HS II (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 (keine Sprechzeit am 17.4.2011).
und nach Vereinbarung