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. Zusätzlich werden alle Vorträge über die komplex - Mailingliste angekündigt.
06.11. 15:00 - Abschlussarbeitsvortrag "Luby Sequenzen"
30.10. 15:00 - A Probabilistic Divide and Conquer Algorithm for the Minimum Tollbooth Problem
25.10. 14:00 - Abschlussarbeitsvortrag "Algorithmic Applications of the Lovász Local Lemma"
25.10. 13:30 - Bachelorarbeitsvortrag "Performance Guarantee for Approximate Graph Coloring Algorithms"
18.10. 14:15 - Masterarbeitsvortrag "Read Mapping auf Pangenomen mit approximativer BWT-Rückwärtssuche"
18.10. 13:30 - Masterarbeitsvortrag "Algorithmen für das Äquivalenzproblem monotoner boolescher Formeln in Normalform"
11.10. 13:30 - Masterarbeitsvortrag "Cops and Robber games on graphs and treewidth"
02.08. 14:40 - Bachelorarbeitsvortrag "Getunnelte komprimierte DeBruijn - Graphen"
02.08. 14:05 - Bachelorarbeitsvortrag "Patternsuche in einer getunnelten Burrows-Wheeler-Transformation"
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