Skip to content

PhD review

Mark Chevallier passes his second year PhD review

    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 Morris passes her third year PhD review

      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!