I was born in Durham, but after a few weeks my parents Alison and Jeremy moved to the Fens near Cambridge, where I grew up with my brother James.

After school I read computer science (with physics, believe it or not) from 2014-17 at Robinson College, Cambridge. I was interested in the logical end of CS by this point, so I wrote a computer-checked Part II dissertation, supervised by Dominic Mulligan and Victor Gomes.

Afterwards I got interested in automated reasoning and moved to Manchester to study for my doctorate with Giles Reger and Andrei Voronkov, 2017-2020ish. My thesis was on Applications of Machine Learning to Automated Reasoning. For about a year afterwards I continued as a postdoc with Giles working on his EPSRC project CAPS: Collaborative Architectures for Proof Search. I met my wife Michaela around this time, when she was also a student.

I was then very fortunate to end up in Laura Kovács' group as a postdoc in Vienna. I stayed there until 2025, working on all kinds of things with all kinds of people. Vienna treated me very well, but I could not stay forever and eventually took a permanent position at Southampton, where I am a "New Frontiers Fellow" (write your own Star Trek jokes, they're probably still funny). We now live in Oxford, near to where Michaela works and not so far on the train from Southampton.