
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: