One of our ex-master students, Wander Nauta, has graduated today. His masters thesis is titled "AValAnCHE: Improving robustness of the VerCors verification toolset using fuzzing". You can find it here. Well done Wander! We wish you the best of luck in your future endeavors.