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.08.2023 14:00 Simone Kilian "Cartesian closed categoried and the simply typed Lambda Calculus"
28.07.2023 13:00 Lukas Brannath "Theoretical background and working principle of the Kyber key encapsulation mechanism for post-quantum cryptography"
29.06.2023 10:30 Prof. Dr. Stephen Fenner, University of South Carolina "An algebraic approach to quantum circuit lower bounds"
26.05.2023 13:30 Jonas Frei: "Minimal Absent Words in der phylogenetischen Rekonstruktion"
05.05.2023 13:30 Marius Vollbrecht "Erweiterung des r-Indexes zur Suche von Maximal Exact Matches"
21.04.2023 13:30 Alexandr Katsnelson "Cops and Robbers, pursuit-evasion games on graphs''
20.04.2023 14:00 Tolga Eskin "Implementation of a scalable approximate model counter"
12.04.2023 12:30 Prof. Dr. Nicola Galesi, Universita di Roma la Sapienza "The space complexity of cutting planes refutations"
03.03.2023 13:00 Tom Krüger "Quantum (Classical) Merlin-Arthur: A Window Into Quantum Complexity"
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