| 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 |
| M. Sc. Christopher Spinrath | Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! | +49-231-755-7549 | Room 3.017 | Contact |
| M. Sc. Jonas Schmidt | Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! | +49-231-755-6522 | Room 3.017 | Contact |
| Dr. rer. nat. Jens Keppeler | Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! | +49-231-755-6152 | Room 3.012 | 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)