Program Overview

Institute of Theoretical Computer Science

The Institute of Theoretical Computer Science is a leading research institution in the field of theoretical computer science. The institute offers a range of programs and courses in areas such as algorithms, bioinformatics, and formal foundations of computer science.

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
• Algorithmen zur Sequenzanalyse (Algorithms for Sequence Analysis)
• Algorithmische Spieltheorie (Algorithmic Game Theory)
• Kryptologie (Cryptography)
• SAT Solving

Archiv

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

• Veranstaltungen im SS 2025 (Events in Summer Semester 2025)
• Veranstaltungen im SS 2024 (Events in Summer Semester 2024)
• Veranstaltungen im WS 2024/2025 (Events in Winter Semester 2024/2025)
• Veranstaltungen im WS 2023/24 (Events in Winter Semester 2023/24)
• Veranstaltungen im SS 2023 (Events in Summer Semester 2023)
• Veranstaltungen im WS 2022/2023 (Events in Winter Semester 2022/2023)
• Veranstaltungen im SS 2022 (Events in Summer Semester 2022)
• Veranstaltungen im SS 2021 (Events in Summer Semester 2021)
• WS 2020/2021 (Winter Semester 2020/2021)
• WS 2020/2021 (Winter Semester 2020/2021)
• SS 2020 (Summer Semester 2020)
• WS 2019/2020 (Winter Semester 2019/2020)
• SS 2019 (Summer Semester 2019)
• WS 2018/2019 (Winter Semester 2018/2019)
• SS 2018 (Summer Semester 2018)
• WS 2017/2018 (Winter Semester 2017/2018)
• SS 2017 (Summer Semester 2017)
• WS 2016/2017 (Winter Semester 2016/2017)
• SS 2016 (Summer Semester 2016)
• WS 2015/2016 (Winter Semester 2015/2016)
• SS 2015 (Summer Semester 2015)
• WS 2014/2015 (Winter Semester 2014/2015)
• SS 2014 (Summer Semester 2014)
• WS 2013/2014 (Winter Semester 2013/2014)
• SS 2013 (Summer Semester 2013)
• WS 2012/2013 (Winter Semester 2012/2013)
• SS 2012 (Summer Semester 2012)
• WS 2011/2012 (Winter Semester 2011/2012)
• SS 2011 (Summer Semester 2011)
• WS 2010/2011 (Winter Semester 2010/2011)
• SoSe 2010 (Summer Semester 2010)
• WS 2009/2010 (Winter Semester 2009/2010)
• SoSe 2009 (Summer Semester 2009)
• WS 2008/2009 (Winter Semester 2008/2009)
• SoSe 2008 (Summer Semester 2008)
• WS 2007/2008 (Winter Semester 2007/2008)

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
• Ehemalige Mitarbeiter / Doktoranden (Former Employees / Doctoral Students)

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)

Algorithmen zur Sequenzanalyse

Inhalt

Sequenzen sind allgegenw‰rtig. Texte und Programme, Gene und Proteine, Sprach- und Bildsignale werden dargestellt als Zeichenfolgen ¸ber einem endlichen Alphabet. Entsprechend vielf‰ltig sind die algorithmischen Fragestellungen. Oft ist dabei der Datenumfang sehr grofl, so dass die Komplexit‰t der zur Problemlˆsung verwendeten Algorithmen von entscheidender praktischer Bedeutung ist. In der Vorlesung werden effiziente Algorithmen zur Suche und Analyse, sowie zum Vergleich von Sequenzen behandelt. Viele dieser Algorithmen sind durch biologische Fragestellungen motiviert. Sie finden jedoch auch Anwendungen in anderen Bereichen wie z.B. bei der Suche in groflen Sammlungen von XML-Dokumenten.

Literatur

• E. Ohlebusch: Bioinformatics Algorithms, Oldenbusch Verlag, 2013.
• D. Gusfield: Algorithms on Strings, Trees, and Sequences, Cambridge University Press, 1997.

Dozenten

• Prof. Dr. Enno Ohlebusch

Vorlesungszeiten

• Dienstag, 14-16 Uhr, O28/H21
• Freitag, 10-12 Uhr, O28/H21

Weitere Informationen

• LSF-Eintrag
• Moodle