Last week not one but two papers were published from my postdoc! At iFM2025 a paper on model checking buffered durable linearizability, and in the Journal of Automated reasoning an extended paper on relative security for reasoning on spectre-like vulnerabilities in Isabelle/HOL. Links in comments.

Exploring campus after my first day as a Lecturer at UWA today. Pretty nice view to end a work day!

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