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.
Vorträge
Nachfolgend sind vergangene und anstehende Vorträge aufgelistet. Sofern nicht anderst angegeben finden die Vorträge im Raum O27/531 statt.
22.06.2026 10:30 Prof. Dr. Pranjal Dutta, College of Computing and Data Science Nanyang Technological University (NTU) Singapore "Finding Equal Subset Sums in the Pigeonhole Regime"
16.01.2026 13:30 Sören Hoffmann “Spieltheorie und künstliche Intelligenz im Schach: Von Zermelos Theorem bis AlphaZero”
12.12.2025 14:00 Nick Winter “Berechnung eines längsten gemeinsamen Teilstrings mithilfe von Suffix-Arrays”
12.12.2025 13:30 Hannes Schäuble “Backdoor Set Detection for Horn and Binary Clauses”
14.11.2025 13:30 Fabian Hausmann "Über die Komplexität von Monotoner Dualisierung"
01.08.2025 14:00 Eugen Nabiev “Untersuchung der Möglichkeiten zur Nutzung von Catalytic Space”
04.07.2025 13:30 Jonas Mayer "Graphtransformationen zur Bestimmung nicht-repetitiver Pfade und Zyklen"
13.06.2025 13:30 Mirko Landgraf "A Space-Efficient Data Structure for the Naming Function"
14.02.2025 14:15 Dawei Hu "Analyse einer Variante von Chomp aus Sicht der Spieltheorie"
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 für das Sommersemester 2026
Ersttermine:
Algorithmische Spieltheorie am Mittwoch, 15.07.2026 ab 10 Uhr in O27/123
Algorithmen zur Sequenzanalyse am Mittwoch, 22.07.2026 ab 10 Uhr in H21
Datenkompression am Freitag, 24.07.2026 ab 09 Uhr in H21
Zweittermine:
Algorithmische Spieltheorie am Mittwoch, 30.09.2026 ab 10 Uhr in O27/123
Datenkompression am Montag, 05.10.2026 ab 10 Uhr in H21
Bitte melden Sie sich rechtzeitig zur Prüfung an. Die Anmeldung muss spätestens 4 Tage vor der Prüfung über das Hochschulportal erfolgt sein. Findet die Prüfung beispielsweise am 15.7. statt, ist die Anmeldung bis spätestens am 10.7. um 23:59 Uhr möglich. Sollten Sie sich nicht zur Prüfung anmelden können, senden Sie bitte eine E-Mail an das für Sie zuständige Studiensekretariat, die genannte Anmeldefrist ist auch hier zu beachten.
Bitte erscheinen Sie am Prüfungstag pünktlich und bringen Ihren Studierendenausweis sowie ein Ausweisdokument mit Lichtbild mit.