| Jul 15, 2025 | I was invited to give a talk on Formalised Mathematics in Isabelle/HOL at Heidelberg University as part of their Research Seminar series on Formal Mathematics. Thank you to Florent Schaffhauser and Judith Ludwig for hosting - exciting to also hear about some of the current work in that group and to continue to see formal maths becoming a central part of mathematics departments! |
| Feb 18, 2025 | I’ll be a lecturer at this years Midlands Graduate School (MGS). Registration is now open. For more information see the MGS website. Information on my course will be provided here. |
| Jan 25, 2025 | I’m on the programme committee for ITP2025! The conference will be in Iceland from the 27th of September to 3rd of October and the call for papers is now live on the conference website. |
| Oct 26, 2024 | I’m officially a Dr! My PhD was awarded during the Cambridge October graduation ceremonies. |
| Sep 30, 2024 | I attended the 11th Heidelberg Laureates Forum at the end of September - an amazing week of learning, networking, and great conversations. As part of the event, I was also selected to be one of 30 young researchers to participate in the “Poster Flash” session, a cool opportunity to present my PhD work in a new and widely accessible way. My two minute flash talk from the session is available online. |
| Jun 14, 2024 | I was invited to give a talk on my PhD work at a EuroProofNet workshop on Proof Systems for Mathematics and Verification at EPFL. Great event, thank you very much to the organisers for hosting and the invitation! |
| Jun 05, 2024 | I’ve been officially approved for my PhD degree, following approval of minor corrections and final submission. |
| Apr 18, 2024 | I’ve been selected as a participant for the 11th Heidelberg Laureate Forum in September this year. Looking forward to sharing more about the event later in the year. |
| Apr 14, 2024 | This website is finally up and running! |
| Jan 24, 2024 | I passed my PhD viva with minor corrections!   |
| Oct 15, 2023 | I have started a new job as a Research Associate at the University of Sheffield. |