Zum Inhalt
Fakultät für Informatik

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