Logic and
Theory of
Discrete Systems

Informatik 7

Group

Professors

Prof. Dr. rer. nat. Martin Grohe
Room 4116a
Prof. Dr. Pascal Schweitzer
Room 4201
Prof. (em.) Dr. Dr.h.c. Wolfgang Thomas
Room 41087b
Prof. (em.) Dr. Walter Oberschelp
Room 4U01a

Secretary

Silke Cormann
Room 4116b

IT-Systemadministrator

Adrian Spona
Raum 4114

Research associates

Team Prof. Grohe and Prof. Schweitzer

Aziz Erkal Selman
Room 4117b
Christof Löding
Room 4115
Daniel Neuen
Room 4108
Daniel Wiebking
Room 4118
Gaurav Rattan
Raum 4118
Marlin Frickenschmidt
Room 4117a
Martin Ritzert
Room 4117a
Patrick Landwehr
Room 4117b
Sandra Kiefer
Room 4108
Sarah Winter
Room 4108a

Research Students

 

FaLang translation system by Faboba