I am a theoretical computer scientist, interested in logic, category theory and the foundations of computer science, with particular emphasis on applications of monad theory and graphical languages.

I am currently a postdoctoral researcher at the University of Oxford, studying finite model theory and model comparison games from the perspective of comonads.

Latests blog posts: