Institut für Theoretische Informatik

Willkommen auf der Webseite des Instituts für theoretische Informatik. Unser Institut befasst sich mit den theoretischen Grundlagen der Informatik, dabei stehen hauptsächlich die folgenden Themen im Vordergrund:

Berechenbarkeit und Komplexitätstheorie
Graphentheorie
Algorithmik und Datenstrukturen
Logik, speziell SAT-Solving
Sequenzanalyse und Datenkompression
Bioinformatik
Quantum Computing
Kryptologie

Neben diesen Schwerpunkten sind wir natürlich auch an anderen Aspekten der theoretischen Informatik interessiert. Einen ersten Eindruck des Instituts kann man anhand des Institutsposters oder der nebenstehenden Gallerie gewinnen - unsere Forschung in Bildern.

Industrieprojekt: Wie man Spulen optimal auf Paletten packt.

Simultaneous folding and alignment of RNA.

Variable graph representation of a SAT problem.

Ant Colony Optimization: Lösungskonstruktion

Einordnung des perfekten Matching Problems.

Suffix-Tree für den String ctaataatg$.

Ein Wavelet-Tree.

Konstruktion von Expandergraphen und Superkonzentratoren.

Ant Colony Optimization: Algorithmusschema

Vorträge

Nachfolgend sind vergangene und anstehende Vorträge aufgelistet. Sofern nicht anderst angegeben finden die Vorträge im Raum O27/531 statt.

16.01.2026 13:30 Sören Hoffmann “Spieltheorie und künstliche Intelligenz im Schach: Von Zermelos Theorem bis AlphaZero”

veröffentlicht am: 16. Januar 2026

12.12.2025 14:00 Nick Winter “Berechnung eines längsten gemeinsamen Teilstrings mithilfe von Suffix-Arrays”

veröffentlicht am: 08. Dezember 2025

12.12.2025 13:30 Hannes Schäuble “Backdoor Set Detection for Horn and Binary Clauses”

veröffentlicht am: 27. November 2025

14.11.2025 13:30 Fabian Hausmann "Über die Komplexität von Monotoner Dualisierung"

veröffentlicht am: 14. November 2025

01.08.2025 14:00 Eugen Nabiev “Untersuchung der Möglichkeiten zur Nutzung von Catalytic Space”

veröffentlicht am: 31. Juli 2025

04.07.2025 13:30 Jonas Mayer "Graphtransformationen zur Bestimmung nicht-repetitiver Pfade und Zyklen"

veröffentlicht am: 23. Juni 2025

13.06.2025 13:30 Mirko Landgraf "A Space-Efficient Data Structure for the Naming Function"

veröffentlicht am: 04. Juni 2025

14.02.2025 14:15 Dawei Hu "Analyse einer Variante von Chomp aus Sicht der Spieltheorie"

veröffentlicht am: 06. Februar 2025

14.02.2025 13:30 Tom Spänkuch "Calculating atomic distances in proteins through various data structures"

veröffentlicht am: 06. Februar 2025

31.01.2025 13:30 Probevortrag Thomas Büchler "Pangenome Structures: Design, Construction, and Applications"

veröffentlicht am: 27. Januar 2025

Kontakt

Institut für Theoretische Informatik
Universität Ulm
D-89069 Ulm
Telefon: +49 (0)731 50 24101
Telefax: +49 (0)731 50 1224101

Sekretariat

Raum: O27/537

Klausurtermine

Ersttermine:

Algorithmen und Datenstrukturen am 17.02.2026 ab 11:00 Uhr in H20,21,22,2,3

Grundlagen der theoretischen Informatik am 17.02.2026 ab 14:00 Uhr in H20,21,22,2,3

Einführung in die Bioinformatik am 20.02.2026 ab 09:000 Uhr in Raum O27/123

Zweittermine:

Algorithmen und Datenstrukturen am 31.03.2026 ab 09:00 Uhr in H20,21,22,4/5

Grundlagen der theoretischen Informatik am 31.03.2026 ab 12:00 Uhr in H20,21,22,1

Einführung in die Bioinformatik am 10.04.2026 ab 10:00 in Raum O27/123

Bitte beachten Sie: Prüfungsanmeldungen haben bei schriftlichen Prüfungen bis spätestens fünf Tage vor Prüfungsdatum zu erfolgen (z.B. Prüfungsdatum 21.02., letzte Anmeldemöglichkeit: 16.02.) Verspätete Anmeldungen sind nicht möglich.