School of Computer Science
 

Image of Dan Marsden

Dan Marsden

Transitional Assistant Professor, Faculty of Science

Contact

Research Summary

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

Current Research

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.

School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit:
www.nottingham.ac.uk/enquire