Institute of Theoretical Computer Science – Theoretical Computer Science

We represent theoretical computer science in Hannover in research and teaching. Our key areas are complexity theory, efficient algorithms, formal languages and logic in computer science.

Calender of the ThI

Location Finder

Staff Directory

Publications

13th July 2021

Dissertationspreis an Institutsangehörigen

26th May 2021

81. Workshop über Algorithmen und Komplexität

9th February 2021

Das Institut zieht um

Wir ziehen am 17./18.2.21 in den 16. Stock der Appelstrasse 9a (Hochhaus). Wir ziehen am 17./18.2.21 in den 16. Stock der Appelstrasse 9a (Hochhaus).

Show all news

Complexity of Constraints

Introduction to Circuit Complexity

Dependence Logic - Theory and Applications

FREQUENTLY SEARCHED LINKS

Stud.IP

Course Catalogue

Semestertermine