糖心原创

Contact

• workKing's Meadow Campus
  Lenton Lane
  Nottingham
  NG7 2NR
  UK
• Dan.Marsden@nottingham.ac.uk

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 . Much of my recent work has involved topics at the boundary between categorical semantics and finite model theory.