Theoretische Informatik
- Prof. Dr. Heinz Peter Gumm
-
-
Arbeitsgebiet: Formale Methoden
-
Arbeitsschwerpunkte: Strukturtheorie zustandsbasierter Systeme (Coalgebren), Theorie und Werkzeuge zur Verifikation von Programmen und Protokollen, Universelle Algebra und Logik
- Homepage der Arbeitsgruppe Formale Methoden
-
- Prof. Dr. Rita Loogen
-
-
Arbeitsgruppe: Parallelität und Programmiersprachen
- Arbeitsschwerpunkte: Parallele funktionale
Sprachen und ihre Implementierung, Konzepte zur parallelen
Programmierung
Sekretariat
-
