I am currently doing a PhD in Computer Science on something along the lines of combining Type Theory and Formal Methods (although this may change over the course of the project), supervised by Dr Edwin Brady. I enjoy writing code, collaborating on projects, and helping people write or fix code.

When I’m not doing PhD things, I enjoy music of various kinds, hiking and camping, as well as a wide variety of video games, both old and new.