Skip to main content

Dan Marsden

Personal photo - Dan Marsden

Dan Marsden

Research Assistant

Leaving date: 30th September 2022

Themes:

See Also:

Interests

I am interested in using category theoretic techniques to model and reason about systems in terms of their interactions and observable behaviour. Recent application areas have included quantum computation, natural language semantics,compositional theories of physics and mathematical models of human cognition. Concretely, I apply methods such as graphical languages,categorical logics, coalgebra and monad theory to the analysis of these processes.

Selected Publications

View AllManage publications

Activities

Past Students

Giovanni de Felice