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.

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

Sekretariat

Raum: O27/537

 

Klausurtermine

  • Ersttermine:
  • Algorithmen und Datenstrukturen am 21.02.2023 ab 11:00 Uhr in H 2,3,22
  • Hörsaaleinteilung nach Nachnamen: A-J in H22, K-P in H2 und R-Z in H3.
  • Formale Grundlagen/Grundlagen der Theoretischen Informatik am 21.02.2023 ab 14:00 Uhr in H 2,3,22
  • Hörsaaleinteilung nach Nachnamen: A-Ke in H22, Kl-Sa in H3, Sch-Z in H2.
  • Einführung in die Bioinformatik am 24.02.2023 ab 13:00 Uhr in H 20,22
  • Zufallsmethoden am 15.02.2023 ab 12:00 Uhr in O27/123
  • Zweittermine:
  • Algorithmen und Datenstrukturen am 04.04.2023 ab 09:00 Uhr in H 4/5,20,21,22
  • Formale Grundlagen am 04.04.2023 ab 12:00 Uhr in H 4/5,20,21,22
  • Einführung in die Bioinformatik am 11.04.2023 ab 12:00 Uhr in H20
  • Zufallsmethoden am 12.04.2023 ab 11:00 Uhr in O27/123
Prüfungsanmeldungen haben bei schriftlichen Prüfungen bis spätestens fünf Tage vor Prüfungsdatum zu erfolgen (z.B. Prüfungsdatum 21.02., letzte Anmeldemöglichkeit: 16.02.)
Sollte es Ihnen nicht möglich sein, sich fristgerecht im Hochschulportal anzumelden, wenden Sie sich bitte per E-Mail an das zuständige Studiensekretariat.
Verspätete Anmeldungen sind nicht möglich.