Home

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:

• Relative Adjunctions
• Relative Monads
• Adjunctions of Kleisli Type
• The Codensity Monad Transformer
• Monad maps and Algebras Redux