From 19.09.2022 to 23.12.2022
Foundations of technical computer science
Justification Logic
Seminar: Logic and Theoretical Computer Science
From 20.02.2023 to 02.06.2023
Computability and Complexity
Databases
Software Engineering Lab
