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
The group works in several areas of Theoretical Computer Science where logic plays an important role: