Matt Luckcuck
Lecturer in Computer Science
United KingdomResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Matt Luckcuck is a Lecturer in Computer Science at the University of Derby, UK. His research focuses on formal methods, particularly in relation to autonomous systems and predictive runtime verification. Recent articles include "CSP2Turtle: Verified Turtle Robot Plans" and "An Overview of Verification and Validation Challenges for Inspection Robots," highlighting his expertise in verification and validation challenges in robotics.
Articles (4)
Year:
2023
Year:
2022
Year:
2021
Year:
2021
Collaborators (9)
Clare Dixon
The University of Manchester
Fabio Papacchini
University of Lancaster
Rosemary Monahan
Maynooth University
Rafael Cardoso
The University of Manchester
Louise Dennis
The University of Manchester
Marie Farrell
The University of Manchester
Angelo Ferrando
Assistant Professor
University of Modena and Reggio Emilia
Michael Fisher
Prof. at Department of Electronic and Electrical Engineering
The University of Manchester
Michael Jump
Professor of Aerospace Systems
University of Liverpool
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.