| Sep 15, 2025 | I’ve accepted a continuing position as a Lecturer (equiv. Assistant Professor) at the University of Western Australia, and will be starting in November. Very excited to be moving home to Australia after 6 incredible years in the UK, and thankful to all those who supported me to get here! |
| Sep 01, 2025 | I’m looking forward to being a lecturer at the ANU Logic Summer School in December this year! An abstract for my course is now available on the website, and registration is open. |
| 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. |