I’m excited to share I’ll be starting as a Lecturer (equiv. Assistant Professor) at the University of Western Australia this November. Keen to start (re)connecting with colleagues in Australia while also making the most of my last month in the UK!

It was great to be invited to visit the Mathematikon @uniheidelberg.bsky.social earlier this week to talk about formal maths in Isabelle and my past PhD work as part of their research seminar series on formal mathematics! #postdoclife #IsabelleHOL #FormalMaths

Registration for this closes on Monday the 17th of March!

Great to be a part of this programme this year - thanks to @whiteroseuc.bsky.social for hosting! Really enjoyed connecting with other postdocs across Leeds, Sheffield, and York at the first workshop last week, and looking forward to the next two workshops over the coming months.

16th International Conference on Interactive Theorem Proving - ITP'25 Reykjavik, Iceland, 27 September-3 October 2025 Second call for papers The ITP conference series is concerned with all aspects of interactive theorem proving [...] icetcs.github.io/frocos-itp-t...

I'm excited to be one of the lecturers for this year's Midlands Graduate School (MGS) in Sheffield! MGS is primarily for first and second year PhD students in Computer Science Foundations, but is open to anyone interested in the topics. More details are available here: tinyurl.com/MGS-2025