Wir vertreten die Theoretische Informatik in Forschung und Lehre, insbesondere die Gebiete Komplexitätstheorie, Effiziente Algorithmen, Formale Sprachen und Logik in der Informatik.