Institut für Theoretische Informatik

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.

Industrieprojekt: Wie man Spulen optimal auf Paletten packt.
Simultaneous folding and alignment of RNA.
Variable graph representation of a SAT problem.
Ant Colony Optimization: Lösungskonstruktion
Einordnung des perfekten Matching Problems.
SAT-Algorithmus als Markov-Kette.
Resolutionsbeweis.
"Mexican Hat"-Filter.
"Cactus Plot" verschiedener SAT-Solver.
Suffix-Tree für den String ctaataatg$.
Ein Wavelet-Tree.
Konstruktion von Expandergraphen und Superkonzentratoren.
Die Low- und die High-Hierarchie in NP.
Ant Colony Optimization: Algorithmusschema

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.

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 Sommersemester 2021

  • Algor. Spieltheorie: Mittwoch, 28.07.2021 ab 11:00 Uhr in H22 sowie Mittwoch, 29.09.2021 ab 10:00 Uhr in H14
  • Datenkompression: Dienstag, 27.07.2021 ab 10:00 Uhr in H22 sowie Dienstag, 28.09.2021 ab 10:00 Uhr in H14
  • Kryptologie: Donnerstag, 05.08.2021 ab 11:00 Uhr in H22 sowie Donnerstag, 23.09.2021 ab 11:00 Uhr in H12
  • Zufallsmethoden: Dienstag, 27.07.2021 ab 11:00 Uhr in H1 sowie Montag, 20.09.2021 ab 11:30 Uhr in H1
  • Die Klausuren Logik und Berechenbarkeit und Komplexität finden am Montag, 02.08.2021 ab 09:00 Uhr in den Hörsälen 20, 21, 22, 2 und 4/5 statt. Nachtermin für diese beiden Klausuren ist Dienstag, 05.10.2021 ab 12:00 Uhr in den Hörsälen 20, 21, 22. Die Einteilung wird über die jeweiligen Moodlekurse bekanntgegeben.
  • Bitte melden Sie sich rechtzeitig im Hochschulportal zur Prüfung an und überprüfen, ob die Anmeldung erfolgreich war. Sollten Sie sich nicht über das Hochschulportal zur Prüfung anmelden können, wenden Sie sich bitte rechtzeitig an das zuständige Studiensekretariat (Ausschlussfrist).
  • Vorschriften und Informationen zum Verhalten während der Coronapandemie entnehmen Sie bitte der Homepage der Universität Ulm