Logic and Computing: Databases, Automata, Complexity (LogiDAC)
Die Arbeitsgruppe arbeitet in verschiedenen Bereichen der Theoretischen Informatik, in denen die Logik eine wichtige Rolle spielt:
- Datenbanktheorie
- Automatentheorie
- Komplexitätstheorie (mit aktuellem Schwerpunkt auf dynamischer Komplexität)
- Grundlagen des Model Checking