Transitional Assistant Professor, Faculty of Science
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.… read more
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.
Browser does not support script.
University of NottinghamJubilee CampusWollaton Road Nottingham, NG8 1BB
For all enquires please visit: www.nottingham.ac.uk/enquire