Theoretical Computer Science Section
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.
