Logic and Computing: Databases, Automata, Complexity (LogiDAC)
The group works in several areas of Theoretical Computer Science in which logic plays an important role:
- Database theory
- Automata theory
- Complexity Theory (with current emphasis on Dynamic Complexity)
- Fundamentals of Model Checking