I am currently a postdoc with
Sam Staton at the University of Oxford.
Previously I was a postdoc at the University of Edinburgh working with
Ohad Kammar
as part of the grant
Effectful theories of programming languages:
models, abstractions, validation.
Before that I was a PhD student under
Marcelo Fiore
at the University of Cambridge.
Teaching
I am generally interested in supervising 3rd / 4th year projects on topics including category theory, 2dimensional semantics, denotational semantics, and universal algebra with applications to programming language theory.

In 2022 I cosupervised (with Sam Staton) Lili Janzer's MSc thesis, titled Categorytheoretic syntactic models of
programming languages. A copy is available here.

In 202122 I was TA for the Principles of Programming Languages course.

As a PhD student I supervised (smallgroup teaching) the following courses: Discrete Maths, Logic and Proof, Types, Denotational Semantics.