You can find me online in a few places:

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:

The summary of my other academic work is

2019 – 2021 (Software Engineer, StarLeaf)

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

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.