| Course | Type | Bachelor / Master | Docent |
|---|---|---|---|
| Modelling and Verification of Probabilistic Systems | Lecture | M | Katoen |
| Theoretical Foundations of the UML | Lecture | M | Katoen |
| Concurrency Theory | Lecture | M | Noll |
| Deductive Verification | Seminar | B/M | Noll/Schroer |
| Program Synthesis | Seminar | B/M | Noll |
| Reproducing Research Results in Formal Methods | Seminar | B/M | Quatmann |
| Foundations of Informatics | Bridging Course | – | Noll |