Matthew Luckcuck

Biography

I'm a Post-Doctoral Researcher in the Department of Computer Science. My research interests include formal behavioural specification, model-checking, runtime verification, and safety verification and assurance for autonomous, automated, and other safety-critical systems.

Research Interests

Research Projects

  Project Role Funding Body / Program Description Start Date End Date Award (€)
VALU3S - Verification and Validation of Automated Systems' Safety and Security Post-Doctoral Researcher / 01-JAN-21

Post Doctoral Fellows/Research Team

  Researcher Name Project Role Funding Body
Rosemary Monahan VALU3S Principal Investigator

Peer Reviewed Journals

  Year Publication
2019 'Formal specification and verification of autonomous robotic systems: A survey'
Luckcuck, M.;Farrell, M.;Dennis, L.A.;Dixon, C.;Fisher, M.; (2019) 'Formal specification and verification of autonomous robotic systems: A survey'. ACM Computing Surveys, [DOI] [Details]
2017 'Safety-Critical Java: level 2 in practice'
Luckcuck, M.;Wellings, A.;Cavalcanti, A.; (2017) 'Safety-Critical Java: level 2 in practice'. Concurrency Computation, [DOI] [Details]

Conference Publications

  Year Publication
2020 Towards Compositional Verification for Modular Robotic Systems
(2020) Towards Compositional Verification for Modular Robotic Systems EPTCS 329, 2020, pp. 15-22 [DOI] [Details]
2020 Heterogeneous Verification of an Autonomous Curiosity Rover
(2020) Heterogeneous Verification of an Autonomous Curiosity Rover Lecture Notes in Computer Science [DOI] [Details]
2019 A Summary of Formal Specification and Verification of Autonomous Robotic Systems
(2019) A Summary of Formal Specification and Verification of Autonomous Robotic Systems Lecture Notes in Computer Science [DOI] [Details]
2018 Robotics and Integrated Formal Methods: Necessity Meets Opportunity
(2018) Robotics and Integrated Formal Methods: Necessity Meets Opportunity Integrated Formal Methods [DOI] [Details]
2018 Verifiable Self-Certifying Autonomous Systems
Fisher, M.;Collins, E.;Dennis, L.;Luckcuck, M.;Webster, M.;Jump, M.;Page, V.;Patchett, C.;Dinmohammadi, F.;Flynn, D.;Robu, V.;Zhao, X.; (2018) Verifiable Self-Certifying Autonomous Systems Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018 [DOI] [Details]
2016 A Formal Model of the Safety-Critical Java Level 2 Paradigm
(2016) A Formal Model of the Safety-Critical Java Level 2 Paradigm Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings [DOI] [Details]
2013 Safety-critical Java level 2
Andy Wellings;Matt Luckcuck;Ana Cavalcanti; (2013) Safety-critical Java level 2 Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '13 [DOI] [Details]

Conference Contributions

  Year Publication
2015
(2015) A Formal Model for the SCJ Level 2 Paradigm, [Details]

Employment

  Employer Position From / To
National University of Ireland Maynooth 01-JAN-21 /
University of Manchester 01-JUL-20 / 01-JAN-21
University of Liverpool 01-NOV-17 / 01-JUL-20
University of York 01-JAN-15 / 01-JAN-15

Education

  Year Institution Qualification Subject
2016 University of York
2012 University of York