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!