Lab directory
Functional Programming Lab
University of Nottingham · School of Computer Science
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. Graham Hutton at University of Nottingham School of Computer Science lists functional programming, formal reasoning about program correctness and efficiency as their registered research area.
Research keywords
functional programmingformal reasoning about program correctness and efficiency
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