| Course | Type | Bachelor / Master | Docent |
|---|---|---|---|
| Formale Systeme, Automaten, Prozesse | Course | B | Katoen |
| Compiler Construction | Course | B/M | Noll |
| Modelling and Verification of Probabilistic Systems | Course | M | Katoen |
| Implementation of Heuristic Algorithms for Board Games | Practical course | B | Brix |
| Trends in Model Checking | Seminar | B/M | Quatmann |
| Advanced Topics in Formal Semantics | Seminar | B/M | Noll |