18.10. 14:15 - Masterarbeitsvortrag "Read Mapping auf Pangenomen mit approximativer BWT-Rückwärtssuche"
Read Mapping auf Pangenomen mit approximativer BWT-Rückwärtssuche.
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.10. 13:30 - Masterarbeitsvortrag "Cops and Robber games on graphs and treewidth"
Cops and Robber games on graphs and treewidth.
18.10. 13:30 - Masterarbeitsvortrag "Algorithmen für das Äquivalenzproblem monotoner boolescher Formeln in Normalform"
Algorithmen für das Äquivalenzproblem monotoner boolescher Formeln in Normalform.
02.08. 14:40 - Bachelorarbeitsvortrag "Getunnelte komprimierte DeBruijn - Graphen"
Getunnelte komprimierte DeBruijn - Graphen.
02.08. 14:05 - Bachelorarbeitsvortrag "Patternsuche in einer getunnelten Burrows-Wheeler-Transformation"
Patternsuche in einer getunnelten Burrows-Wheeler-Transformation
02.08. 13:30 - Bachelorarbeitsvortrag "Implementierung und Analyse eines Algorithmus zur Berechnung aller kürzesten eindeutigen Teilstrings"
Implementierung und Analyse eines Algorithmus zur Berechnung aller kürzesten eindeutigen Teilstrings.
25.7. 15:00 - Algebraic algorithms for special submodular function minimization
Vortrag "Algebraic algorithms for special submodular
function minimization" gehalten von Herr Prof. Dr. Rohit Gurjar
26.7. 13:30 - Bachelorarbeitsvortrag "Exakte Suche mithilfe von Kindtabellen"
Exakte Suche mithilfe von Kindtabellen.
28.6. 14:00 - Grüner Vortrag M.Sc. Uwe Baier
BWT Tunneling: Theorie sowie Einsatz in Datenkompression und Sequenzanalyse
28.6. 13:00 - On the Complexity of Restarting
Restarting is a technique used by many randomized local search and systematic search algorithms. If the algorithm has not been successful for some…
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.