Congratulations to Colleen Charlton, whose thesis entitled Building an Interpretable MachineLearning Classifier for the Prediction of Brain TumourSurvival is one of the outstanding MSc dissertation for the academic year 2019/20. Her project was in collaboration with Neurosurgery colleagues from the Usher Institute and was supervised by Jacques Fleuriot.
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.
Mark successfully passed his second year PhD review on formal verification applied to machine learning. His panel consisted of Pavlos Andreadis, Paul Jackson and Jacques Fleuriot. Congratulations to Mark!
Imogen successfully passed his third year PhD review on formalizing Euler’s Basel Problem. Her panel consisted of Alan Bundy, Nadin Kokciyan and Jacques Fleuriot. Congratulations to Imogen!