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.

24.02.2022 16:00 Julian Nickerl Promotionskolloquium "Congestion Games: The Minimum Tollbooth Problem and Games with Resource Failures"

veröffentlicht am: 14. Februar 2022

24.02.2022 14:00 Dr. Martin Gairing "In Congestion Games, Taxes Achieve Optimal Approximation"

veröffentlicht am: 14. Februar 2022

28.01.2022 11:45 Josef Mayer "Statistische Methoden zur experimentellen Algorithmenanalyse"

veröffentlicht am: 19. Januar 2022

30.07.2021 13:30 Uhr Holger Gröner "Cuckoo Hashing - Eine kritische Analyse mit Anwendungsbezug"

veröffentlicht am: 22. Juli 2021

18.06.2021 13:30 Uhr Sven Köhle "Eigenschaften von Mechanismen zur Lösung des Matching-Markets Problems"

veröffentlicht am: 10. Juni 2021

16.04.2021 13:30 Uhr Benjamin Schlechter "Parallelisierung von probSAT"

veröffentlicht am: 13. April 2021

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
Mittwoch, 15.07.2026 ab 10 Uhr O27/123

Algorithmen zur Sequenzanalyse
Mittwoch, 22.07.2026 ab 10 Uhr H21

Datenkompression
Freitag, 24.07.2026 ab 9 Uhr H21

Zweittermine:

Algorithmische Spieltheorie
Mittwoch, 30.09.2026 ab 10 Uhr O27/123

Datenkompression
Montag, 05.10.2026 ab 10 Uhr 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. Bitte kontrollieren Sie unbedingt über die “Bescheinigung über die angemeldeten Prüfungen”, ob die Anmeldung erfolgreich war und drucken Sie sich diese Bescheinigung aus oder speichern Sie sie ab. Nur mit einer solchen Bescheinigung haben Sie einen Nachweis über die Anmeldung zur Prüfung!

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.