| Course | Type | Bachelor / Master | Docent |
|---|---|---|---|
| Formale Systeme, Automaten, Prozesse | Lecture | B | Katoen |
| Semantics and Verification of Software | Lecture | M | Noll |
| Introduction to Program Analysis | Proseminar | B | Katoen/Noll |
| Implementation of Heuristic Algorithms for Board Games | Practical Course | B | Berger |
| Foundations of Probabilistic Programming | Seminar | M | Katoen |
| Program Synthesis | Seminar | B/M | Noll |