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!