One of our ex-master students, Dylan Janssen, has graduated today. His masters thesis is titled "Design and Implementation of new features for Runtime Permission Verification in Concurrent Java Programs using VerCors". You can find it here. Well done Dylan! We wish you the best of luck in your future endeavors.