| Prof. Dr. Thomas Schwentick | Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! | +49-231-755-6341 | Room 3.011 | Contact |
| Dr. rer. nat. Thomas Zeume | Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! | +49-231-755-6152 | Room 3.016 | Contact |
| Dr Ioannis Kokkinis | Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! | +49-231-755-6374 | Room 3.012 | Contact |
| M. Sc. Nils Vortmeier | Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! | +49-231-755-6346 | Room 3.012 | Contact |
| M. Sc. Gaetano Geck | Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! | +49-231-755-6326 | Room 3.017 | Contact |
| Christopher Spinrath, M. Sc. | Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! | +49-231-755-7549 | Room 3.017 | Contact |
The group works on different areas of Theoretical Computer Science in which logic plays a prominent role:
- Database Theory (with a current emphasis on the foundations of semistructured data)
- Verification (with a current emphasis on hybrid logics)
- Automata Theory (with a current emphasis on Tree Automata and automata that can incorporate data values)
- Complexity Theory (with a current emphasis on Dynamic Complexity)