I am a PhD student at the University of Oxford, working with Sam Staton. I am interested in the theory of programming languages, especially those for probabilistic programming and quantum computation.
My recent focus is on probabilistic programming languages that support higher-order functions. Their denotational semantics steps outside the traditional measure-theoretic formalization of probability theory. To that end, I am now investigating the category-theoretic foundations of probability theory.
I have a pure-maths background in algebraic geometry and category theory. Wider interests of mine are programming with algebraic effects, type-theory, logic, topology, probability theory and machine learning.