| Course | Type | Bachelor / Master | Docent |
|---|---|---|---|
| Probabilistic Programming | Course | M | Katoen |
| Model Checking | Course | B/M | Quatmann |
| Semantics and Verification of Software | Course | M | Noll |
| Datenstrukturen und Algorithmen | Proseminar | B | Noll |
| Trends in Computer-Aided Verification | Seminar | B/M | Noll |
| Practical Course: Model Checking | Practical course | M | Quatmann |
| Foundations of Informatics | Bridging course | – | Noll |