Wintersemester 2019/20
- Algebra des Programmierens
- Algebraische und Logische Aspekte der Automatentheorie
- Introduction to Finite Model Theory
- Formale Methoden der Softwareentwicklung
- Grundlagen der Logik in der Informatik
- Introduction to Dependently Typed Programming
- Ontologien im Semantic Web
- Seminar Advanced Competitive Programming
- Oberseminar