teaching
We offer thesis projects on topics related to our research, such as verification, artificial intelligence, machine learning, and probabilistic programming. See the thesis topics at RUB and the open projects of my group, or just contact me. Current course pages (Moodle, course catalogue) are listed on the chair’s course page.
Ruhr University Bochum
Winter Term 2026/27
- Formal Verification and Model Checking
- Lab Course: Challenging Problems in Reinforcement Learning
- Programming for Modern Machine Learning
- Seminar: Safety and Reliability in Artificial Intelligence
- Seminar: Theory of Decision-Making Under Uncertainty
- Preparatory Course in Computer Science
Summer Term 2026
- Programming and Programming Languages
- Lab Course: Challenging Problems in Reinforcement Learning
- Seminar: Safety and Reliability in Artificial Intelligence
Winter Term 2025/26
- Formal Verification and Model Checking
- Lab Course: Challenging Problems in Reinforcement Learning
- Programming for Modern Machine Learning
- Seminar: Safety and Reliability in Artificial Intelligence
Summer Term 2025
Radboud University
- Processors (Bachelor): 2017/2018 to 2023/2024
- Model Checking (Master, Mathematical Foundations of Computer Science): 2017/2018 to 2026/2027
- Operating Systems (Bachelor): 2017/2018 to 2019/2020