A former member of the VerCors team and now ex-master student, Naum Tomov has graduated. Well done Naum! We wish you best of luck in your future endeavors.