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 碍辞尘辫濒别虫颈迟盲迟蝉迟丑别辞谤颈别
- 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.
痴辞谤迟谤盲驳别
Nachfolgend sind vergangene und anstehende 痴辞谤迟谤盲驳别 aufgelistet. Sofern nicht anderst angegeben finden die 痴辞谤迟谤盲驳别 im Raum O27/531 statt.
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"
28.01.2022 11:00 Jannik Olbrich "Linear Time Suffix Array Construction"
10.12.2021 13:30 Jan Kr眉ger "Merging of multi-string BWTs"
05.11.2021 13:30 Luca H枚rner "Bloom Filter based on XOR-SAT"
09.09.2021 14:00 Uhr Marcel Olp "Inducing the Lyndon Array"
30.07.2021 13:30 Uhr Holger Gr枚ner "Cuckoo Hashing - Eine kritische Analyse mit Anwendungsbezug"
18.06.2021 13:30 Uhr Sven K枚hle "Eigenschaften von Mechanismen zur L枚sung des Matching-Markets Problems"
16.04.2021 13:30 Uhr Benjamin Schlechter "Parallelisierung von probSAT"
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