I am 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.
You can find more of a CV at my about page, and I’m collecting the research work I’ve been involved with below.
My new years resolution for 2023 is to write more about the things I’m thinking about. Too much gets abandoned at the back of notebooks now! So I’m planning to start filling the blog page here with whatever I’ve been thinking when it doesn’t end up turning into a paper.
Research Output
-
Compositional Bayesian Inversion and Stochastic Combs (link): Talk given at OASIS seminar at the University of Oxford. November 2023
-
The Compositional Structure of Bayesian Inference (link): Joint work with Jules Hedge and Toby Smithe. Published in proceedings of Mathematical Foundations of Computer Science 2023. Presented in August 2023, Bordeaux, France.
-
Collages of String Diagrams (link): Joint work with Mario Roman. Published in the proceedings of Applied Category Theory 2023.
-
The 2-dimensional structure of Tambara Modules (link): Poster presented at Category Theory 2023, in Louvain-la-Nouve, Belgium
-
Dependent Bayesian Lenses (link): Talk given at SYCO 9 in Como, Italy