Biography
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.
- Information visualisation
- Systems/Low-level programming
- Computer security
- Formal methods
- Data ethics
- Type systems
PhD in Computer Science, 2020-present (ongoing)
University of St Andrews
MSci (Hons) in Computer Science, 2015-2020
University of St Andrews
Recent Posts
Experience
Using the work from the previous summer, I refined the database and used it to develop a tool which visualised pre-, anti-, and co-requisites of university modules.
A overview of the project can be found here.
Tools used:
- SQL (MariaDB)
- Python (Flask)
- D3.js
- Bootstrap
Developed and implemented the ER-diagram for a tool which would visualise pre-, co-, and anti-requisites of university modules, similar to dependency graphs.
Tools used:
- SQL (MariaDB)
- Elm (functional web-dev language)
Developed a tool for visualising the output of a radar chip provided by OmniPreSense and used this to examine its compatibility with the existing RadarCat project.
Tools used:
- Java
- Python