Congratulations to Richard Schmoetten (MSc in Informatics, 2020), for winning the class medal and also the best dissertation prize for his thesis titled “Formalising a System of Independent Axioms for Minkowski Spacetime”. His MSc project was supervised by Jacques Fleuriot and Jake Palmer.