Lab directory
Prof. Matt Luckcuck — 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. Matt Luckcuck at University of Nottingham School of Computer Science lists formal software verification, safety-critical software, formal methods, model-checking, requirements engineering, runtime verification as their registered research area.
Research keywords
formal software verificationsafety-critical softwareformal methodsmodel-checkingrequirements engineeringruntime verification
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