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.
06.03.2020 14:15 - Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space
06.03.2020 13:30 - Vortrag Projekt Algorithm Engineering
14.02.2020 13:30 - Verschlüsselung von Datensätzen in der Verwaltungssoftware APS mit gesonderten Zugriffsberechtigungen – eine Analyse und Implementierung
28.01. 13:30 - Vorträge Projekt Algorithm Engineering
29.11. 13:30 - Vortrag "On the computation of longest previous non-overlapping factors"
22.11. 14:00 - Abschlussarbeitsvortrag: "Relation between treelike resolution space and practical hardness for SAT formulas"
15.11. 13:30 - Abschlussvortrag: "Analysis and implementation of stategies and algorithms to win mancala games"
06.11. 15:00 - Abschlussarbeitsvortrag "Luby Sequenzen"
30.10. 15:00 - A Probabilistic Divide and Conquer Algorithm for the Minimum Tollbooth Problem
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
- Erstklausuren
- 22.02.2021 ab 14:00 Uhr - Formale Grundlagen
- in H 20, 21, 22, 4/5
- 01.03.2021 ab 10:00 Uhr - Algorithmen und Datenstrukturen
- in H 20, 21, 22, 2, 4/5
- 01.03.2021 ab 13:00 Uhr - SAT-Solving
- in H 20
- 05.03.2021 ab 09:00 Uhr - Einführung in die Bioinformatik
- in H 22
- 08.03.2021 ab 11:00 Uhr - Algorithmen zur Sequenzanalyse
- in H 20
- 08.03.2021 ab 15:00 Uhr - Quantum Computing in H 22
- Wiederholungsklausuren
- 06.04.2021 ab 13:00 Uhr - Algorithmen und Datenstrukturen
- in H 20, 21, 22
- 07.04.2021 ab 12:00 Uhr - Formale Grundlagen
- in H 20, 21, 22
- 08.04.2021 ab 13:00 Uhr - Einführung in die Bioinformatik
- in H 20
- 08.04.2021 ab 13:00 Uhr - Quantum Computing
- in H 21
- 09.04.2021 ab 11:00 Uhr - SAT-Solving
- in H 20
- Bitte stellen Sie sicher, dass Sie fristgerecht im Hochschulportal zur Prüfung angemeldet sind.
- Sollten Sie Probleme bei der Anmeldung haben, wenden Sie sich bitte fristgerecht an das zuständige Studiensekretariat.
- Kommen Sie bitte rechtzeitig zu Ihrem Prüfungsraum, die Raumeinteilung wird Ihnen vor der Prüfung bekannt gegeben.
- In den Gebäuden der Universität Ulm, bei Lehrveranstaltungen und sonstigen Zusammenkünften ist eine MNS-Maske zu tragen. Außerdem müssen die Abstands- und Hygieneregeln befolgt werden.
- Um die Nachverfolgung möglicher Infektionsketten zu gewährleisten, werden die Kontaktdaten von Personen, die sich in einem Raum aufhalten, über das elektronische Erfassungssystem KNApp UU erhoben. Bitte scannen Sie den QR-Code am Raum/an der Fläche mit einem Smartphone oder nutzen Sie den angegebenen Weblink, um Ihre Daten einzutragen.
- Nähere Informationen hierzu erhalten Sie auf der Homepage der Universität Ulm.
- Hinweis: Das Tragen einer FFP2-Maske bei schriftlichen Prüfungen ist ab dem 01.02.2021 für Studierende und Aufsichtpersonal verpflichtend.