Generating Exercises for Model Checking
Master thesis supervision, RWTH Aachen University, Computer Science Department (i2), 2025
Together with Tim Quadmann, I supervise the Master thesis of Yujie Zhang, which focuses on the automatic generation of exercises for teaching and practicing model checking.