Program Overview

Institute of Theoretical Computer Science

The Institute of Theoretical Computer Science is a leading research institution in the field of computer science.

Teaching

The institute offers a wide range of courses and lectures in the field of theoretical computer science, including:

• Algorithms and data structures
• Introduction to Bioinformatics
• Foundations of Theoretical Computer Science and Formal Foundations of Computer Science
• Final theses
• Graduate seminar
• Archive

Lectures in winter semester 2025/2026

The following lectures are offered in the winter semester 2025/2026:

• Algorithms and data structures
• Introduction to Bioinformatics
• Foundations of Theoretical Computer Science and Formal Foundations of Computer Science

Archives

The institute maintains an archive of past lectures and courses, including:

• Events in SS 2025
• Events in SS 2024
• Events in WS 2024/2025
• Events in WS 2023/24
• Events in SS 2023
• Events in WS 2022/2023
• Events in SS 2022
• Events in SS 2021
• WS 2020/2021
• WS 2020/2021
• SS 2020
• WS 2019/2020
• SS 2019
• WS 2018/2019
• SS 2018
• WS 2017/2018
• SS 2017
• WS 2016/2017
• SS 2016
• WS 2015/2016
• SS 2015
• WS 2014/2015
• SS 2014
• WS 2013/2014
• SS 2013
• WS 2012/2013
• SS 2012
• WS 2011/2012
• SS 2011
• WS 2010/2011
• Summer semester 2010
• WS 2009/2010
• Summer semester 2009
• WS 2008/2009
• Summer semester 2008
• WS 2007/2008

Members

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

• Prof. Dr. Jacobo Toran
• Prof. Dr. Enno Ohlebusch
• Prof. Dr. Uwe Schöning
• Christiane Halder-Schnell
• M.Sc. Lisa Marie Jaser
• Jannik Olbrich
• Former employees/doctoral students

Former Employees and Doctoral Students

The institute has a list of former employees and doctoral students, including: -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 Voelkel
• Dipl.-Inf. Helmut Sedding
• Dipl.-Phys. Stefan Arnold -Dr. Martin Bader
• Dipl. Inf. Adrian Balint
• Dipl.-Inf. Timo Beller
• Dipl.-Inf. Marcus Bomb
• Dipl.-Inf. Sebastian Doern

##Research The institute is involved in various research areas, including:

• EDACC
• Sequence analysis
• SAT Solving
• Dense packing of thread spools on pallets

##Other The institute also has other activities and resources, including:

• Front page
• Lectures -Address
• Imprint
• Posters
• 75th Theory Day

Fundamentals of Theoretical Computer Science and Formal Foundations of Computer Science

This course covers the basics of theoretical computer science and formal foundations of computer science.

News

The first lecture takes place on Monday, October 14, 2043, from 14:15 to 15:45 in lecture hall 4/5.

Content

The course covers topics such as Boolean functions and circuits, binary relations, information and coding theory, grammars and automata.

Literature

The course uses a lecture notes and Schöning/Kestler math toolbox, Lehmanns media.

Information about the lecture

More information about the course can be found in the moodle.

Tutorials

The exercise sessions will be presented in the first lecture, and registration will be possible via moodle.

Lecturer

The course is taught by Prof. Dr. Enno Ohlebusch.

Lecture times

The lecture takes place on Mondays from 14:15 to 15:45 in lecture hall TTU.

Trainer

The exercise sessions are led by Thomas Büchler and Lisa-Marie Jaser.

SPF entries

The course is listed in the LSF under the following entries:

• Lecture
• Exercise (computer science)
• Exercise (media informatics)
• Exercise (software engineering)

Moodle

The course has a moodle page where students can find more information and resources.