51本色
Skip to main navigation
Skip to content
Skip to footer
Skip to search
Institute of Theoretical Computer Science
Search
Menu
Institute of Theoretical Computer Science
Teaching
Teaching
Veranstaltungen im Sommersemester 2026
Veranstaltungen im Sommersemester 2026
Algorithms for sequence analysis
Data Compression
Project: Algorithm Engineering
Seminar Algorithms: Algorithms in Propositional Logic
Seminar Introduction in Algorithms: Algorithms in Propositional Logic
Algorithm and Game Theory
Competitive Programming
Lectures in Winter Semester 2025/2026
Lectures in Winter Semester 2025/2026
Algorithmen und Datenstrukturen
Introduction to Bioinformatics
Foundations of Theoretical Computer Science and Formal Foundations of Computer Science
Abschlussarbeiten
Absolventenseminar
Archiv
Archiv
Veranstaltungen im SS 2025
Veranstaltungen im SS 2025
Algorithmen zur Sequenzanalyse
Algorithmische Spieltheorie
Kryptologie
SAT Solving
Zufallsmethoden in der Informatik
Veranstaltungen im SS 2024
Veranstaltungen im SS 2024
Seminar Einf眉hrung in die Algorithmik: Algorithmen in der Aussagenlogik
Seminar Algorithmik: Algorithmen in der Aussagenlogik
碍辞尘辫濒别虫颈迟盲迟蝉迟丑别辞谤颈别
Algorithmische Spieltheorie
Datenkompression
Kryptologie
Veranstaltungen im WS 2024/2025
Veranstaltungen im WS 2024/2025
Algorithmen f眉r schwierige Probleme
Algorithmen und Datenstrukturen
Einf眉hrung in die Bioinformatik
Grundlagen der Theoretischen Informatik und Formale Grundlagen der Informatik
Veranstaltungen im WS 2023/24
Veranstaltungen im WS 2023/24
Algorithmen und Datenstrukturen
Algorithmen zur Sequenzanalyse
Grundlagen der Theoretischen Informatik und Formale Grundlagen der Informatik
Quantum Computing
Veranstaltungen im SS 2023
Veranstaltungen im SS 2023
Proseminar Algorithmen
Seminar Einf眉hrung in die Algorithmik: Algorithmen in der Aussagenlogik
Algorithmen f眉r schwierige Probleme
Seminar Algorithmik: Algorithmen in der Aussagenlogik
Algorithmische Spieltheorie
Veranstaltungen im WS 2022/2023
Veranstaltungen im WS 2022/2023
Grundlagen der Theoretischen Informatik
Algorithmen und Datenstrukturen
Einf眉hrung in die Bioinformatik
Formale Grundlagen der Informatik
SAT Solving
Zufallsmethoden in der Informatik
Veranstaltungen im SS 2022
Veranstaltungen im SS 2022
Projekt: Algorithm Engineering
Seminar Algorithmik: Algorithmen in der Aussagenlogik
Seminar Einf眉hrung in die Algorithmik: Algorithmen in der Aussagenlogik
Algorithmen zur Sequenzanalyse
Kryptologie
Berechenbarkeit und Komplexit盲t
Algorithmische Spieltheorie
Veranstaltungen im SS 2021
Veranstaltungen im SS 2021
Algorithmische Spieltheorie
Berechenbarkeit und Komplexit盲t
Datenkompression
Kryptologie: Algorithmen und Methoden
Logik
Proseminar Algorithmen
Zufallsmethoden in der Informatik
WS 2020/2021
WS 2020/2021
Formale Grundlagen der Informatik
Projekt Algorithm Engineering
Algorithmen und Datenstrukturen
SAT Solving
Algorithmen zur Sequenzanalyse
Einf眉hrung in die Bioinformatik
Quantum Computing
Seminar Algorithmik: (Computational) Group Theory
Proseminar Algorithmen: (Computational) Number Theory
WS 2020/2021
WS 2020/2021
Formale Grundlagen der Informatik
Quantum Computing
Einf眉hrung in die Bioinformatik
Algorithmen zur Sequenzanalyse
SAT Solving
Algorithmen und Datenstrukturen
SS 2020
SS 2020
Algorithmische Spieltheorie
Berechenbarkeit und Komplexit盲t
Datenkompression
碍辞尘辫濒别虫颈迟盲迟蝉迟丑别辞谤颈别
Kryptologie: Algorithmen und Methoden
Logik
Projekt Algorithm Engineering
Seminar Algorithmik: Computational (Algebraic) Topology
WS 2019/2020
WS 2019/2020
Algorithmen und Datenstrukturen
Algorithmen f眉r schwierige Probleme
Algorithmen zur Sequenzanalyse
Einf眉hrung in die Bioinformatik
Seminar Einf眉hrung in die Algorithmik: Themenkomplex Algorithmische Zahlentheorie
Seminar Algorithmik: Themenkomplex Algorithmische Zahlentheorie
Proseminar Algorithmen
Formale Grundlagen
Zufallsmethoden in der Informatik
SS 2019
SS 2019
Datenkompression
SAT Solving
Seminar Algorithmische Geometrie
Projekt Algorithm Engineering
Algorithmische Spieltheorie
Berechenbarkeit und Komplexit盲t
Logik
Proseminar Algorithmen
Kryptologie: Algorithmen und Methoden
Seminar Algorithmik: Themenkomplex Kryptologie
Seminar Einf眉hrung in die Algorithmik: Themenkomplex Kryptologie
WS 2018/2019
WS 2018/2019
Quantum Computing
Einf眉hrung in die Bioinformatik
Algorithmen und Datenstrukturen
Algorithmen zur Sequenzanalyse
Formale Grundlagen der Informatik
Seminar (Einf眉hrung in die Algorithmik) & Seminar (Algorithmik): Themenkomplex Kryptologie
Proseminar (Algorithmen): Themenkomplex SAT-Solving
Highlights der Theoretischen Informatik
SS 2018
SS 2018
Algorithmen der Bioinformatik
Algorithmische Spieltheorie
Berechenbarkeit und Komplexit盲t
Logik
Datenkompression
Kryptologie: Algorithmen und Methoden
Kryptologie: Mathematische Grundlagen
Scheduling
Projekt Algorithm Engineering
WS 2017/2018
WS 2017/2018
Einf眉hrung in die Bioinformatik
Algorithmen f眉r schwierige Probleme
Algorithmen und Datenstrukturen
Algorithmen zur Sequenzanalyse
Formale Grundlagen der Informatik
Zufallsmethoden in der Informatik
Projekt Algorithmen Engineering
Seminar Algorithmik
Seminar Fun with Reductions
Proseminar Algorithmen
SS 2017
SS 2017
Algorithmische Spieltheorie
Berechenbarkeit und Komplexit盲t
碍辞尘辫濒别虫颈迟盲迟蝉迟丑别辞谤颈别
Kryptologie: Algorithmen und Methoden
Logik
Scheduling
Proseminar Algorithmen
Seminar Algorithmik
Projekt Algorithm Engineering
WS 2016/2017
WS 2016/2017
Algorithmen f眉r schwierige Probleme
Einf眉hrung in die Bioinformatik
Einf眉hrung in die Informatik
Formale Grundlagen der Informatik
Highlights der Theoretischen Informatik
Proseminar Algorithmen
Seminar Algorithmik
SS 2016
SS 2016
Algorithmen der Bioinformatik
Algorithmische Spieltheorie
Berechenbarkeit und Komplexit盲t
Datenkompression
Formal Foundtions of Computer Science
Kryptologie: Algorithmen und Methoden
Logik
Proseminar Klassiker der Informatik
Proseminar Algorithmen
Projekt Sequenzanalyse
WS 2015/2016
WS 2015/2016
Algorithmen und Datenstrukturen
Algorithmen zur Sequenzanalyse
Formale Grundlagen der Informatik
Einf眉hrung in die Bioinformatik
Quantum Computing
SAT Solving
Proseminar Parametrisierte Algorithmen
Proseminar Algorithmen
Seminar Modern C++ Style
Implementierung von Kompressionsverfahren
SS 2015
SS 2015
Berechenbarkeit und Komplexit盲t
Datenkompression
Einf眉hrung in die Informatik
Kryptologie: Algorithmen und Methoden
Logik
Proseminar Algorithmen
WS 2014/2015
WS 2014/2015
Algorithmen f眉r schwierige Probleme
Algorithmen und Datenstrukturen
Algorithmen zur Sequenzanalyse
Einf眉hrung in die Bioinformatik
Formale Grundlagen der Informatik
Highlights der Theoretischen Informatik
Modern C++ Style
Algorithmische Geometrie
Proseminar Algorithmen
Algorithmen der Logik
SS 2014
SS 2014
Algorithmen der Bioinformatik
Algorithmische Spieltheorie
Berechenbarkeit und Komplexit盲t
Datenkompression
碍辞尘辫濒别虫颈迟盲迟蝉迟丑别辞谤颈别
Kryptologie: Algorithmen und Methoden
Logik
Parametrisierte Algorithmen
Algorithmen der Logik
Algorithmen f眉r Optimierungsprobleme
Implementierung von Bioinformatik-Algorithmen
WS 2013/2014
WS 2013/2014
Algorithmen f眉r schwierige Probleme
Algorithmen und Datenstrukturen
Algorithmen zur Sequenzanalyse
Einf眉hrung in die Bioinformatik
Formale Grundlagen der Informatik
SAT Solving
Proseminar Algorithmen
Algorithmische Geometrie
Natur-inspirierte Algorithmen
Neue Programmierkonzepte in C++11
Algorithmen der Logik
SS 2013
SS 2013
Datenkompression
Einf眉hrung in die Informatik
Kryptologie: Algorithmen und Methoden
Logik
Quantum Computing
Klassiker der Informatik
Algorithmen der Logik
WS 2012/2013
WS 2012/2013
Algorithmen f眉r schwierige Probleme
Algorithmen und Datenstrukturen
Boolesche Funktionen und Schaltkreise
Formale Grundlagen der Informatik
Proseminar Algorithmen
Algorithmen der Logik
SS 2012
SS 2012
Algorithmen zur Sequenzanalyse
Berechenbarkeit und Komplexit盲t
碍辞尘辫濒别虫颈迟盲迟蝉迟丑别辞谤颈别
Kryptologie: Algorithmen und Methoden
Logik
Praktische Informatik
SAT Solving
Proseminar Informations眉bertragung
Seminar Datenkompression
Unkonventionelle Algorithmen
Algorithmen der Logik
WS 2011/2012
WS 2011/2012
Algorithmen der Bioinformatik
Algorithmen f眉r schwierige Probleme
Algorithmen und Datenstrukturen
Einf眉hrung in die Bioinformatik
Formale Grundlagen der Informatik
Highlights der Theoretischen Informatik
Proseminar Algorithmen
Seminar Algorithmische Geometrie
Projekt Bioinformatik
Implementierung von web-Suchmaschinen
SS 2011
SS 2011
Algorithmen der Bioinformatik
Berechenbarkeit und Komplexit盲t
Datenkompression
Kryptologie: Algorithmen und Methoden
Logik
SAT Solving
Proseminar Algorithmen
Proseminar Informations眉bertragung
Seminar Algorithmen in der Graphentheorie
Indexing and Compressing the Textual Web
Projekt SAT-Solving
WS 2010/2011
WS 2010/2011
Algorithmen und Datenstrukturen
Algorithmen zur Sequenzanalyse
Einf眉hrung in die Bioinformatik
Formale Grundlagen der Informatik
H枚here Algorithmik
Quantum Computing
Proseminar Algorithmen
Seminar: Advanced Data Structures
Seminar: Probleme in NP
SoSe 2010
SoSe 2010
Berechenbarkeit und Komplexit盲t
Datenkompression
碍辞尘辫濒别虫颈迟盲迟蝉迟丑别辞谤颈别
Kryptologie: Algorithmen und Methoden
Logik
Praktische Informatik
Proseminar Algorithmen
Seminar Algorithmen in der Graphentheorie
Seminar Bioinformatik
Seminar Search Engines
Projekt SAT-Solving
Projekt Sequenzanalyse
WS 2009/2010
WS 2009/2010
Algorithmen und Datenstrukturen
Algorithmen zur Sequenzanalyse
Einf眉hrung in die Bioinformatik
Formale Grundlagen der Informatik
Highlights der Theoretischen Informatik
H枚here Algorithmik
Seminar Algorithmische Geometrie
Praktikum: Datenkompression
SAT-Solving
Kryptographie Projekt / Praktikum SS09
SoSe 2009
SoSe 2009
Algorithmen der Bioinformatik
Berechenbarkeit und Komplexit盲t
Datenkompression
Kombinatorische Methoden der Informatik
Kryptologie
Logik
SAT Solving
Proseminar Ideen der Informatik
Seminar Sequenzanalyse
Kryptographie Projekt / Praktikum SS09
Praktikum: Datenkompression
SAT-Solving + CSP
WS 2008/2009
WS 2008/2009
Algorithmen und Datenstrukturen
Algorithmen zur Sequenzanalyse
Einfuehrung in die Bioinformatik
Formale Grundlagen der Informatik
H枚here Algorithmik
Quantenrechner
Meilensteine der Informatik
Funktionale Programmierung in Haskell
Hauptseminar Datenkompression
SAT-Solving + CSP (Projektarbeit)
SoSe 2008
SoSe 2008
Algorithmen I
Highlights der Theoretischen Informatik
碍辞濒尘辞驳辞谤辞惫-碍辞尘辫濒别虫颈迟盲迟
碍辞尘辫濒别虫颈迟盲迟蝉迟丑别辞谤颈别
Kryptographie
Theoretische Informatik II
Proseminar Informations眉bertragung
Hauptseminar Bioinformatik
Succinct Data Structures and Compressed Suffix Arrays
WS 2007/2008
WS 2007/2008
Algorithmen II
Algorithmen der Bioinformatik
Einfuehrung in die Bioinformatik
Formale Grundlagen der Informatik
Formale Methoden der Informatik (WiWi)
Kryptographie Praktikum WS07/08
Quantum Computing
Theoretische Informatik I
Proseminar Graphalgorithmen
Members
Members
Prof. Dr. Jacobo Tor谩n
Prof. Dr. Jacobo Tor谩n
List of books
List of on-line available publications
Prof. Dr. Enno Ohlebusch
Prof. Dr. Uwe Sch枚ning
Prof. Dr. Uwe Sch枚ning
叠耻肠丑惫别谤枚蹿蹿别苍迟濒颈肠丑耻苍驳别苍
Christiane Halder-Schnell
M.Sc. Lisa-Marie Jaser
Jannik Olbrich
Ehemalige Mitarbeiter / Doktoranden
Ehemalige Mitarbeiter / Doktoranden
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
Dipl.-Inf. Sebastian Doern
Interests
Publications
Teaching
Talks
CV
Dr. Tobias Eibach
Dr. Oliver Gableske
Dr. Simon Gog
Dr. Thanh Minh Hoang
Dr. Dominikus Kr眉ger
Dipl.-Inf. Adrian K眉gel
Dr. Markus Maucher
Dr. Thomas Schnattinger
Dr. Simon Straub
Dr. Fabian Wagner
Dr. Henning Wunderlich
Dr. Patrick Scharpfenecker
Waltraud Fromm
Research
Research
EDACC
Sequence Analysis
SAT Solving
Dichte Packung von Garnrollen auf Paletten
Other
Other
Front page
Lectures
Address
Imprint
Imprint
Imprint
Poster
75. Theorietag
75. Theorietag
Allgemeines
Programm
Institute of Theoretical Computer Science
Teaching
Archiv
WS 2015/2016
DE
Veranstaltungen im Wintersemester 2015/2016
Algorithmen und Datenstrukturen
Algorithmen zur Sequenzanalyse
Formale Grundlagen der Informatik
Einf眉hrung in die Bioinformatik
Quantum Computing
SAT Solving
Proseminar Parametrisierte Algorithmen
Proseminar Algorithmen
Seminar Modern C++ Style
Implementierung von Kompressionsverfahren
