Lehrstuhl für Informatik 7
Logik und Theorie diskreter Systeme
Gruppe
Professoren
- Prof. Dr. Dr.h.c. W. Thomas
- Raum 4116a
- Prof. (em.) Dr. W. Oberschelp
- Raum 4118
Sekretariat
- Marianne Kuckertz
- Raum 4116b
Graduiertenkolleg AlgoSyn
- Helen Bolke-Hermanns
- Raum 4116b
Mathematisch Techn. Assistent
- Rolf Eschmann
- Raum 4117a
Wissenschaftliche Angestellte
- Jan Altenbernd
- Raum 4117b
- Ingo Felscher
- Raum 4230
- Michael Holtmann
- Raum 4229
- Wong Karianto
- Raum 4230
- Christof Löding
- Raum 4115
- Frank Radmacher
- Raum 4114
- Michaela Slaats
- Raum 4229
- Alexandra Spelten
- Raum 4117b
Diplomanden
-
Nina Beckmann, Paul Hänsch, Nils Jansen, Ulrich Loup,
Jörg Olschewski, Andreas Roell, Martin Zimmermann
- Raum 4221