| Course | Type | Bachelor / Master | Docent |
|---|---|---|---|
| Concurrency Theory | Lecture | M | Katoen/Noll |
| Theoretical Foundations of the UML | Lecture | M | Katoen |
| Advanced Topics in Formal Semantics | Seminar | B/M | Katoen/Noll |
| Formal Verification Meets Machine Learning | Seminar | B | Katoen/Noll |
| Foundations of Informatics Bridging Course | Lecture | – | Noll |