teaching

I offer several thesis projects for topics that concern my research. For example, if you are interested in verification, artificial intelligence, machine learning, or probabilistic programming, please contact me! For a full overview just contact me.

Ruhr University Bochum

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
  • Programming and Programming Languages
  • Programming for Modern Machine Learning
  • Seminar: Safety and Reliability in Artificial Intelligence

Radboud University

  • Processors: 2017/2018, 2018/2019, 2019/2020, 2020/2021, 2021/2022, 2022/2023
  • Model Checking: 2017/2018, 2018/2019, 2019/2020, 2020/2021, 2021/2022, 2022/2023
  • Operating Systems: 2017/2018, 2018/2019, 2019/2020