Teaching

Teaching

Winter Term 2025/26

Title Module Type Credits Degree
Theoretical Computer Science 1 Lecture (mandatory) 5 Bachelor's
Introduction to Logics Retry Exam 5 Bachelor's
Models of Computation Lecture (elective) 5 Bachelor's
Program Analysis Lecture (elective) 5 Bachelor's/Master's
Program Analysis Lab Lab 5 Bachelor's/Master's
Seminar Seminar 5 Bachelor's/Master's
Algorithmic Automata Theory Lecture (elective) 10 Master's
Games with Perfect Information Lecture (elective) 5 Master's

Past Courses

Theses

We offer Bachelor's and Master's thesis on latest research results. Visit us and we'll talk about a subject!