Forschungsschwerpunkte der Abteilung
Algebraische und logische Grundlagen der Informatik

Logik in der Informatik

Kombinatorische Gruppentheorie

Komplexitätstheorie

Modelle für Nebenläufigkeit

Datenkompression