Wintersemester 2023/24
- Einführung in die Programmierung (Bachelorvorlesung)
- Logic in Computer Science (Mastervorlesung)
- Program Analysis for Security (Mastervorlesung)
- Technology-Enhanced Learning (Mastervorlesung)
- Malware-Analyse (Bachelorseminar)
- Gödel's Incompleteness Theorems (Masterseminar)
- IoT-Security (Masterseminar)
- Logical Theory of Causality (Masterseminar)
- Machine Ethics (Masterseminar)
- Softwareentwicklungspraktikum (Bachelorpraktikum - Nebenfach)
- Programming Languages, AI, and Security (Oberseminar)
- Technology-Enhanced Learning (Oberseminar)