Professur für Theoretische Informatik und Mathematische Logik

Professur für Mathematik

Professur für Verifikation von Hard- und Software / Spezifikationsmethoden / Komplexitätstheorie

Professur für Operations Research