| Course | Bachelor / Master | Teacher |
|---|---|---|
| Theoretical Foundations of the UML | M | Katoen |
| Static Program Analysis | M | Noll |
| Probabilistic Programs (Seminar) | B/M | Katoen |
| Trends in Computer-Aided Verification (Seminar) | B/M | Noll |
| Turing Award Topics (Proseminar) | B | Katoen/Noll |
| Bridging Course Foundations of Informatics | M | Noll |