About me

I work as Senior Software Engineer at Arm Ltd primarily contributing to GNU Tools and GCC specifically.

I previously studied Computer Science and Mathematics at the University of Bath.

It likely won’t come as a surprise to those who know me personally, but I am not very good at keeping this website up to date.

Interests

I’m especially interested in compilers, language design, functional programming, proof assistants, and category theory.

I have experience with C, C++, Rust, Python, and Haskell amongst others.

Projects

Here are the remaining projects from my university days that I’m not too embarrassed to list.

Technical Labs

In 2020 as a student Joe Cryer and I wrote and published an educational series of sessions and notes called Technical Labs. This was for BCSS and the University of Bath computer science department. It aims to teach some fundamental technical computer science skills. More details can be found here and the videos can be found here.

Incorectness Logic in Lean

For my masters dissertation I formalised the Incorectness Logic results initiated by O’Hearne. I used the lean theorem prover and managed to prove the soundness and completeness results. This work was in collaboration with my supervisor Guy McCusker to whom I have undying gratitude.