To content

LogiDAC

The group works in several areas of Theoretical Computer Science where logic plays an important role:

  • Database theory
  • Complexity Theory (with current emphasis on Dynamic Complexity)
  • Automata theory
  • Fundamentals of Model Checking

Location & approach