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.
15.11.2024 13:30 Hanna Kessel "Lineare Resolution"
08.11.2024 13:30 Dr. Rodrigo Raya, TU Kaiserslautern und Max-Planck Institute for Software Systems " Learning and Interpreting Register Automata"
11.10.2024 13:30 Tomke Klein "Lyndon words and trees: Algorithms and Data Structures"
28.06.2024 13:15 Jonas Bayer "Parallel Fixed-Parameter Algorithms: Theoretical Methods"
28.06.2024 12:30 Tom Baudenbacher "The k-common substring problem"
26.01.2024 13:30 Eric Zahn "Vergleich zweier Datenstrukturen: Wavelet-Matrix und Wavelet-Baum"
12.01.2024 13:30 David Kling "Effiziente Algorithmen zur Berechnung von multiMUMs"
29.09.2023 13:30 Paul Marchfelder "Ein Algorithmus für das MSIS Problem auf Basis eines Fenwick Baums"
11.08.2023 14:00 Simone Kilian "Cartesian closed categoried and the simply typed Lambda Calculus"
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