| Course | Type | Bachelor / Master | Docent |
|---|---|---|---|
| Datenstrukturen und Algorithmen | Lecture | B | Katoen |
| Model Checking | Lecture | B/M | Katoen |
| Semantics and Verification of Software | Lecture | M | Noll |
| Probabilistic Programming | Seminar | B/M | Katoen |
| Programming Languages | Proseminar | B | Noll |
| Implementation of Heuristic Algorithms for Board Games | Practical course | B | Berger/Brix |