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 submitted my thesis entitled Automatic Differentiation via Effects and Handlers, supervised by Chris Heunen. 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.