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.

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