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

Raum: O27/537

Klausurtermine Sommersemester 2020

  • 21.09.2020 ab 11:30 Uhr Nachklausur Kryptologie in H 22
  • 22.09.2020 ab 10:00 Uhr Nachklausur Algorithmische Spieltheorie in H 20
  • 01.10.2020 ab 08:00 Uhr Nachklausuren Berechenbarkeit und Komplexität und Logik in H 20, 21, 22
  • 08.10.2020 ab 08:00 Uhr Nachklausur Datenkompression in H 20
  • Bitte melden Sie sich fristgerecht im Hochschulportal an und stellen Sie sicher, dass Ihre Anmeldung erfolgreich war.
  • Sollten Sie sich im Hochschulportal nicht anmelden können, wenden Sie sich unter Einbehaltung der Anmeldefrist an das zuständige Studiensekretariat.
  • Bitte bringen Sie zur Klausur Ihren Studierendenausweis mit, weiter gelten die Hygienemaßnahmen der Universität Ulm.
  • Informationen zur Einteilung in die Hörsäle erhalten Sie ca. 2 Tage vor der Klausur.