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 transitional assistant professor at the University of Nottingham, studying finite model theory and model comparison games from the perspective of comonads.

Latests blog posts: