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 wide range of courses and research opportunities in areas such as algorithms, bioinformatics, and cryptography.

Teaching

The institute offers various lectures and courses in the field of theoretical computer science. Some of the courses offered include:

• Algorithmen und Datenstrukturen (Algorithms and Data Structures)
• Introduction to Bioinformatics
• Foundations of Theoretical Computer Science and Formal Foundations of Computer Science
• Abschlussarbeiten (Thesis)
• Absolventenseminar (Graduate Seminar)
• Archiv (Archive)

Lectures in Winter Semester 2025/2026

The following lectures are offered in the Winter Semester 2025/2026:

• Algorithmen und Datenstrukturen (Algorithms and Data Structures)
• Introduction to Bioinformatics
• Foundations of Theoretical Computer Science and Formal Foundations of Computer Science

Archive

The institute maintains an archive of past courses and lectures. Some of the courses offered in previous semesters include:

• Algorithmen zur Sequenzanalyse (Algorithms for Sequence Analysis)
• Algorithmische Spieltheorie (Algorithmic Game Theory)
• Kryptologie (Cryptography)
• SAT Solving
• Zufallsmethoden in der Informatik (Randomized Methods in Computer Science)

Members

The institute has a team of experienced researchers and professors, including:

• Prof. Dr. Jacobo Tor·n
• Prof. Dr. Enno Ohlebusch
• Prof. Dr. Uwe Schˆning
• Christiane Halder-Schnell
• M.Sc. Lisa-Marie Jaser
• Jannik Olbrich

Former Members

Some of the former members of the institute include:

• Dr. Thomas B¸chler
• Dr. Florian Wˆrz
• Dr. Julian Nickerl
• Dr. Jan-Hendrik Lorenz
• M.Sc. Bogdan Adrian Dina
• Dr. Uwe Baier
• Dr. Gunnar Vˆlkel
• Dipl.-Inf. Helmut Sedding
• Dipl.-Phys. Stefan Arnold
• Dr. Martin Bader
• Dipl. Inf. Adrian Balint
• Dipl.-Inf. Timo Beller
• Dipl.-Inf. Marcus Bombe
• Dipl.-Inf. Sebastian Doern

Research

The institute is involved in various research areas, including:

• EDACC
• Sequence Analysis
• SAT Solving
• Dichte Packung von Garnrollen auf Paletten (Dense Packing of Yarn Rolls on Pallets)

Other

The institute also offers other resources and services, including:

• Front page
• Lectures
• Address
• Imprint
• Poster
• 75. Theorietag (75th Theory Day)