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

Vergangene Semester

Abschlussarbeiten

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