Program Overview

Institute of Theoretical Computer Science

The Institute of Theoretical Computer Science is a leading research institution that focuses on the theoretical foundations of computer science. The institute offers a range of lectures and courses in theoretical computer science, including algorithms, bioinformatics, and formal methods.

Teaching

The institute offers a variety of lectures and courses in theoretical computer science, including:

• Algorithmen und Datenstrukturen (Algorithms and Data Structures)
• Introduction to Bioinformatics
• Foundations of Theoretical Computer Science and Formal Foundations of Computer Science
• Algorithmen zur Sequenzanalyse (Algorithms for Sequence Analysis)
• Algorithmische Spieltheorie (Algorithmic Game Theory)
• Kryptologie (Cryptography)
• SAT Solving

Research

The institute's research areas include EDACC, Sequence Analysis, SAT Solving, and Dichte Packung von Garnrollen auf Paletten (Dense Packing of Yarn Rolls on Pallets). The institute is committed to advancing the field of theoretical computer science through innovative research and collaboration with industry partners. The research focus is on developing efficient algorithms and data structures for solving complex problems in computer science. The institute also explores the applications of theoretical computer science in various fields, including bioinformatics, cryptography, and optimization problems. The goal of the research is to