Curriculum Vitae

2021 – (University of Strathclyde)

From 2021 I have been a PhD student in the University of Strathclyde’s Mathematically Structured Programming group. I’m studying ways to simplify the design of complex systems and statistical programming using ideas from mathematics and mathematical logic. In particular I’m interested in using category theory to describe compositional aspects of Bayesian inference and inform the design of domain specific languages.

My primary supervisor is Jules Hedges.

While at Strathclyde I have also had experience as a teaching assistant and marker for various undergraduate and masters courses in the Computer and Information Sciences department:

Machines, Languages & Computation (Spring 2023)
Theory of Computation (Spring 2023)
Functional Thinking (Spring 2022, Spring 2023)
Computer Systems and Organisation (Autumn 2022)
Quantitative Methods (Autumn 2022)
Big Data Technologies (Autumn 2022)
Programming in Java (Autumn 2022)

The summary of my other academic work is

Dependent Bayesian Lenses, presented at Ninth Symposium on Compositional Structures 2022
Spoke at the MSP’s internal seminar, presenting an introduction to finite model theory, 2021
Fibre optics, joint author, 2021

2019 – 2021 (Software Engineer, StarLeaf)

For two years I worked as a software developer at StarLeaf Limited, working on a video conferencing application.

I was the primary developer for the macOS client, implemented in AppKit with Swift and Objective-C,
Worked on backend components for the app, implemented primarily in C and C++,
Modernised our macOS build system to allow native building on ARM-based Macs
Helped development of an integration testing framework for the app implemented in C++ and Typescript
Mentored recent graduates attending a summer camp teaching programming in C

2016-2019 (University of Cambridge)

I completed an undergraduate degree in Computer Science (with 50% Mathematics at Part Ia) at the University of Cambridge. My Part II dissertation was written about formalising properties of routing algorithms in Agda.