I am a postdoctoral researcher with the Effect Handler Oriented Programming project at the University of Edinburgh, which is led by Sam Lindley.

My interests include programming languages, categorical semantics, effects and handlers, differentiable programming, and probabilistic programming. I have recently finished my PhD, supervised by Chris Heunen, with my thesis entitled Automatic Differentiation via Effects and Handlers. In my thesis I provide concrete implementations of automatic differentiation algorithms in various effect handler languages and prove correctness for some using enriched category theory and denotational semantics.