Institute of Theoretical Computer Science
Welcome to the website of the Institute for Theoretical Computer Science. Our institute deals with the theoretical foundations of computer science, with the following topics being the main focus:
- Computability and Complexity Theory
- Graph Theory
- Algorithms and Data Structures
- Logic, specifically SAT Solving and other methods of automated reasoning
- Sequence Analysis and Data Compression
- Bioinformatics
- Quantum Computing
- Cryptology
In addition to these areas, we are also interested in other aspects of theoretical computer science. You can get a first impression of the institute from the institute poster or the galery next to it - our research in pictures.