Institut für Informatik
print


Navigationspfad


Inhaltsbereich

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.