Research

My research is in programming language theory. I am interested in probabilistic programming languages, denotational semantics, stochastic processes, and category theory.

Experience

Other things

Outside of maths, I enjoy running, tennis, reading, and writing.