Richard Schmoetten wins both the Class Medal and the Thesis Prize for the MSc in Informatics

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.