Two of our ex-bachelor students, Jort Mol Lous & Tycho Dubbeling, have graduated. Jort's bachelor thesis is titled "Automatic Precondition Generation For VerCors" and Tycho's bachelor thesis is titled "Predicate Subtyping in VerCors". Well done Tycho and Jort! We wish you best of luck in your future endeavors.