| Course | Type | Bachelor / Master | Docent |
|---|---|---|---|
| Formale Systeme, Automaten, Prozesse | Lecture | B | Katoen |
| Probabilistic Programming | Lecture | M | Katoen |
| Static Program Analysis | Lecture | M | Noll |
| Trends in Model Checking | Seminar | B/M | Katoen/Quatmann |
| Quantum Compilation | Seminar | B/M | Noll |
| Data Structures and Algorithms | Proseminar | B | Noll |
| Implementation of Heuristic Algorithms for Board Games | Practical course | B | Brix |