| Course | Type | Bachelor / Master | Docent |
|---|---|---|---|
| Datenstrukturen und Algorithmen | Lecture | B | Katoen |
| Introduction to Model Checking | Lecture | B/M | Katoen |
| Static Program Analysis | Lecture | M | Noll |
| Formal Verification Meets Machine Learning | Seminar | B/M | Katoen/Noll |
| Implementation of Heuristic Algorithms for Board Games | Practical Course | B | Berger |