Prof. Dr. Thomas Schwentick This email address is being protected from spambots. You need JavaScript enabled to view it. +49-231-755-6341 Room 3.011 Contact
Dr. rer. nat. Thomas Zeume This email address is being protected from spambots. You need JavaScript enabled to view it. +49-231-755-6374 Room 3.012 Contact
Martin Schuster This email address is being protected from spambots. You need JavaScript enabled to view it. +49-231-755-6152 Room 3.015 Contact
M. Sc. Nils Vortmeier This email address is being protected from spambots. You need JavaScript enabled to view it. +49-231-755-6346 Room 3.016 Contact
M. Sc. Gaetano Geck This email address is being protected from spambots. You need JavaScript enabled to view it. +49-231-755-6326 Room 3.017 Contact
Christopher Spinrath, M. Sc. This email address is being protected from spambots. You need JavaScript enabled to view it. +49-231-755-7549 Room 3.017 Contact
M. Sc. Jan-Eric Lenssen This email address is being protected from spambots. You need JavaScript enabled to view it. +49-231-755-6519 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)