| Course | Type | Bachelor / Master | Docent |
|---|---|---|---|
| Probabilistic Programming | Lecture | M | Katoen |
| Modeling and Verification of Probabilistic Systems | Lecture | M | Katoen |
| Compiler Construction | Lecture | B/M | Noll |
| Foundations of Informatics Bridging Course | Lecture | – | Noll |
| Trends and Pearls of Model Checking | Seminar | B/M | Katoen/Noll |
| Static Methods for Quantitative Program Analysis | Seminar | B/M | Katoen/Noll |
| Algorithms and Data Structures | Proseminar | B | Katoen/Noll |