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.
Interests
- Information visualisation
- Systems/Low-level programming
- Computer security
- Formal methods
- Data ethics
- Type systems
Education
-
PhD in Computer Science, 2020-present (ongoing)
University of St Andrews
-
MSci (Hons) in Computer Science, 2015-2020
University of St Andrews