Research - LogiDAC

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-6374 Room 3.012 Contact
Martin Schuster Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +49-231-755-6152 Room 3.015 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.016 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
M. Sc. Jan-Eric Lenssen Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! +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)