| Course | Bachelor / Master | Teacher |
|---|---|---|
| Advanced Model Checking | M | Katoen / Dehnert / Sher |
| Compiler Construction | B/M | Noll / Chakraborty / Gretz |
| Concurrency Theory (Seminar) | B/M | Katoen / Noll |
| Implementation of Heuristic Algorithms for Board Games (Practical Course) | B | Bruintjes / Dehnert |
| Modeling and Verification of Probabilistic Systems | M | Katoen / Jansen / Kaminski |