Theoretische Informatik und Theorembeweisen
Die Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen befasst sich mit den Grundlagen der Informatik. Schwerpunkte sind Semantik von Programmiersprachen, Lambda-Kalküle und Typtheorie, Prozesskalküle, Logik in der Informatik, Deklarative Programmierung, Typsysteme und Verifikation, Rechnergestütztes Beweisen, Implizite Komplexitätstheorie, Didaktik der Informatik.
Weitere Informationen gibt es auf den Webseiten des Lehrstuhls.