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.
The University of Nottingham School of Computer Science Jubilee Campus Nottingham, NG7 1BB
telephone: +44 (0) 115 95 14220 email:fp-lunch@cs.nott.ac.uk