Lehre

Wintersemester 2025/26

Titel Art Credits Studiengang
Theoretische Informatik 1 Vorlesung (Pflicht) 5 Bachelor
Einführung in die Logik Nachschreibeklausur 5 Bachelor
Models of Computation Vorlesung (Wahlpflicht) 5 Bachelor
Programmanalyse Vorlesung (Wahlpflicht) 5 Bachelor/Master
Praktikum Programmanalyse Praktikum 5 Bachelor/Master
Seminar Seminar 5 Bachelor/Master
Algorithmische Automatentheorie Vorlesung (Wahlpflicht) 10 Master
Spiele mit Perfekter Information Vorlesung (Wahlpflicht) 5 Master

Sommersemester 2025

Titel Art Credits Studiengang
Einführung in die Logik Vorlesung (Pflicht) 5 Bachelor
Theoretische Informatik 1 Nachschreibeklausur 5 Bachelor
ChatPBE - Interactive Programming By Example Solver SEP 7 Bachelor
Teamprojekt Teamprojekt 5 Bachelor
Seminar Seminar 5 Bachelor/Master
Komplexitätstheorie Vorlesung (Wahlpflicht) 10 Master
Nebenläufigkeitstheorie Vorlesung (Wahlpflicht) 10 Master
Semantik Vorlesung (Wahlpflicht) 10 Master

Vergangene Semester

Abschlussarbeiten

Wir bieten Bachelor- und Masterarbeiten im Rahmen aktueller Forschung an. Kontaktieren Sie uns und wir sprechen über Themen!