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)