| Course | Type | Bachelor / Master | Docent |
|---|---|---|---|
| Model Checking | Lecture | B/M | Katoen |
| Practical Course Model Checking | Practical course | B/M | Quatmann |
| Semantics and Verification of Software | Lecture | M | Noll |
| Probabilistic Programming | Seminar | B/M | Schroer |
| Trends in Computer-Aided Verification | Seminar | B/M | Noll |
| Foundations of Informatics | Bridging course | – | Noll |
Note: The Compiler Construction course will only be offered in summer 2025.