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)