One of our ex-master students, Dré van Oorschot, has graduated today. His mastersthesis is titled "VCLLVM: A Transformation Tool for LLVM IR programs to aid Deductive Verification". You can find it here. Well done Dré! We wish you best of luck in your future endeavors.