Course | Type | Bachelor / Master | Docent |
---|---|---|---|
Probabilistic Programming | Course | M | Katoen |
Model Checking | Course | B/M | Quatmann |
Concurrency Theory | Course | M | Noll |
Introduction to Program Analysis | Proseminar | B | Noll |
Trends in Computer-Aided Verification | Seminar | B/M | Noll |
TBA | Seminar | B/M | Quatmann |
Foundations of Informatics | Bridging course | – | Noll |