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.
11.11.2022 13:30 Leonardowitsch Auterhoff "Vergleich und Implementierung zweier Algorithmen zum Berechnen der Heaviest Increasing Sequence"
11.10.2022 10:30 Uhr Prof. Dr. Thomas Thierauf, Hochschule Aalen "Lower bounds for constant depth circuits"
23.09.2022 13:30 Benjamin Schlechter "Metropolis Hastings algorithm applied to runtime distribution tails of ProbSAT"
21.07.2022 10:00 Uhr Raum 545/O27 Dr. Nikhil Balaji "Testing equality of compressed strings efficiently in parallel randomized time"
30.03.2022 13:00 Constanze Merkt "Implementierung von Algorithmen zur Efficent Restart Time mit Deadline"
04.03.2022 13:30 Sebastian Reyes Häusler "The W+ tree - a dynamic access/rank/select data structure for strings"
24.02.2022 16:00 Julian Nickerl Promotionskolloquium "Congestion Games: The Minimum Tollbooth Problem and Games with Resource Failures"
24.02.2022 14:00 Dr. Martin Gairing "In Congestion Games, Taxes Achieve Optimal Approximation"
28.01.2022 11:45 Josef Mayer "Statistische Methoden zur experimentellen Algorithmenanalyse"
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:00 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.
Für die Klausuren “Algorithmen und Datenstrukturen” sowie “Grundlagen der theoretischen Informatik" ist als Hilfsmittel ein ”beidseitig handbeschriebenes DIN A4-Blatt" erlaubt.
Die Hörsaaleinteilung für die beiden Klausuren wird einen Tag vorher über Moodle bekannt gegeben. Bitte kommen Sie etwa 15 Minuten früher, damit rechtzeitig mit der Klausur begonnen werden kann und bringen Sie Ihren Studierendenausweis mit. Sollte dieser über kein Lichtbild verfügen, bringen Sie bitte zusätzlich ein Ausweisdokument mit.