| Course | Bachelor / Master | Docent |
|---|---|---|
| Theoretical Foundations of UML | M | Katoen |
| Concurrency Theory | M | Katoen/Noll |
| Semantics and Verification of Software | M | Noll |
| Programming Language Design and Implementation (Seminar) | B/M | Noll |
| Foundations of Probabilistic Programming (Seminar) | B/M | Katoen |
| Introduction to Program Analysis (Proseminar) | B | Katoen/Noll |