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. Along with Ralf Hinze, I am the co-author of the book Introducing String Diagrams. Much of my recent work has involved topics at the boundary between categorical semantics and finite model theory.

I am an assistant professor at the University of Nottingham, and a member of the functional programming lab. I am one of the local organisers of MGS 2026 along with Ulrik Buchholtz, please do consider attending.

Link to my Google Scholar page.

Latests blog posts:

• An application of monadicity
• A monad is just a one object enriched category
• Algebras are regular quotients of free algebras
• Beck’s Monadicity Theorem
• The Idea of Monadicity