Institute of Theoretical Computer Science

© Institut für Theoretische Informatik

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.

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.