Lab directory
Prof. Dan Marsden — Research Profile
University of Nottingham · School of Computer Science
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Oct 31, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs, and keep your contact prep in one place.
What to prepare before emailing a PIAbout
Prof. Dan Marsden at University of Nottingham School of Computer Science lists logic, category theory, foundations of computer science, monad theory, graphical languages, categorical semantics, finite model theory as their registered research area.
Research keywords
logiccategory theoryfoundations of computer sciencemonad theorygraphical languagescategorical semanticsfinite model theory
Other labs in this department
- Adam Walker Lab
- Aislinn Gomez Bergin Lab
emerging technologies, mental health, Responsible Research and Innovation, Large Language Models
- Alexander Turner Lab
movement disorders, gait and ambulation, transparent machine learning models
- Alfie Cameron Lab
responsibility and ethics in technologies, EDI, justice, RRI
- Aly Magassouba Lab
collaborative robots, natural language processing, multimodal models
- Andrew Crabtree Lab