About me

I work as compiler engineer at Arm primarily contributing to GCC.

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

This website is probably pretty old, I don’t keep it 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, Swift, Haskell amongst others.

I have spent the last few years working as a Compiler engineer and have promptly forgotten how to do anything else.

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 who I remain extremely grateful for.