Matt Luckcuck

Contact

• workJubilee Campus
  Wollaton Road
  Nottingham
  NG8 1BB
  UK
• Matt.Luckcuck@nottingham.ac.uk

Biography

I'm an Assistant Professor in Computer Science at the University of Nottingham (UK). I was awarded a PhD in Computer Science from the University of York (UK).

My research interests lie in the intersection of formal software verification and safety-critical software, with a particular focus on applying formal methods to autonomous robotic systems. The formal verification side of my interests include behavioural specification (often in CSP), model-checking, requirements engineering, and runtime verification. I'm interested in applying these sorts of techniques to autonomous, automated, and other safety-critical systems. In particular, I have had experience with rule-based autonomy, such as the Belief-Desire-Intention model of autonomy. I've also become interested in providing guidance for how to develop autonomous systems that are amenable to robust verification. In 2019 I co-founded the Workshop on Formal Methods for Autonomous Systems (FMAS) which showcases the advances in formal methods for tackling the unique challenges that autonomous systems pose for verification.

Previously I was a Post-Doctoral Researcher in the Department of Computer Science at Maynooth University (Ireland), on the EU-funded Verification and Validation of Automated Systems' Safety and Security (VALU3S) project. While at Maynooth, my research focussed on using the Formal Requirements Elicitation Tool (FRET) to formalise the requirements specification of an Aircraft Engine Software Controller. During this job, I adapted four software factorings so that they were suitable for requirements in FRET, implementing one in a fork, called Mu-FRET.

Before Maynooth, I was a Research Associate at the University of Liverpool (UK) and then Manchester (UK). In this job I worked on the Robotics and AI in Nuclear hub (RAIN), developing approaches that tackle the modularity and heterogeneity often found in modern autonomous robotic systems.

Recent Publications

• DARA MACCONVILLE, MARIE FARRELL, MATT LUCKCUCK and ROSEMARY MONAHAN, 2023. CSP2Turtle: Verified Turtle Robot Plans Robotics. 12(2), 62
• MATT LUCKCUCK and MARIE FARRELL, eds., 2022. Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022
• DARA MACCONVILLE, MARIE FARRELL, MATT LUCKCUCK and ROSEMARY MONAHAN, 2022. Modelling the Turtle Python library in CSP In: Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022. 15-22
• MARIE FARRELL, MATT LUCKCUCK, OIS'IN SHERIDAN and ROSEMARY MONAHAN, 2022. FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller In: Requirements Engineering: Foundation for Software Quality - 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings. 96-111

• View all publications

• DARA MACCONVILLE, MARIE FARRELL, MATT LUCKCUCK and ROSEMARY MONAHAN, 2023. CSP2Turtle: Verified Turtle Robot Plans Robotics. 12(2), 62
• MATT LUCKCUCK and MARIE FARRELL, eds., 2022. Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022
• DARA MACCONVILLE, MARIE FARRELL, MATT LUCKCUCK and ROSEMARY MONAHAN, 2022. Modelling the Turtle Python library in CSP In: Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022. 15-22
• MARIE FARRELL, MATT LUCKCUCK, OIS'IN SHERIDAN and ROSEMARY MONAHAN, 2022. FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller In: Requirements Engineering: Foundation for Software Quality - 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings. 96-111
• MATT LUCKCUCK, HAZEL M. TAYLOR and MARIE FARRELL, 2022. An Abstract Architecture for Explainable Autonomy in Hazardous Environments In: 30th IEEE International Requirements Engineering Conference Workshops, RE 2022 - Workshops, Melbourne, Australia, August 15-19, 2022. 108-113
• MARIE FARRELL, MATT LUCKCUCK, OIS'IN SHERIDAN and ROSEMARY MONAHAN, 2022. Towards Refactoring FRETish Requirements In: NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings. 272-279
• OIS'IN SHERIDAN, ROSEMARY MONAHAN and MATT LUCKCUCK, 2022. A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller In: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. 352-356
• MARIE FARRELL and MATT LUCKCUCK, eds., 2021. Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021
• MARIE FARRELL, MATT LUCKCUCK, LAURA PULLUM, MICHAEL FISHER, ALI HESSAMI, DANIT GAL, ZVIKOMBORERO MURAHWI and KEN R. WALLACE, 2021. Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems In: IEEE International Symposium on Software Reliability Engineering, ISSRE 2021 - Workshops, Wuhan, China, October 25-28, 2021. 401-406
• MATT LUCKCUCK and RAFAEL C. CARDOSO, 2021. Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest In: Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers. 198-217
• MICHAEL FISHER, RAFAEL C. CARDOSO, EMILY C. COLLINS, CHRISTOPHER DADSWELL, LOUISE A. DENNIS, CLARE DIXON, MARIE FARRELL, ANGELO FERRANDO, XIAOWEI HUANG, MIKE JUMP, GEORGIOS KOURTIS, ALEXEI LISITSA, MATT LUCKCUCK, SHAN LUO, VINCENT PAG'E, FABIO PAPACCHINI and MATT WEBSTER, 2021. An Overview of Verification and Validation Challenges for Inspection Robots Robotics. 10(2), 67
• ANGELO FERRANDO, RAFAEL C. CARDOSO, MARIE FARRELL, MATT LUCKCUCK, FABIO PAPACCHINI, MICHAEL FISHER and VIVIANA MASCARDI, 2021. Bridging the gap between single- and multi-model predictive runtime verification Formal Methods Syst. Des.. 59(1), 44-76
• MATT LUCKCUCK and MARIE FARRELL, eds., 2020. Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020
• EMIL SEKERINSKI, NELMA MOREIRA, JOS'E N. OLIVEIRA, DANIEL RATIU, RICCARDO GUIDOTTI, MARIE FARRELL, MATT LUCKCUCK, DIEGO MARMSOLER, JOS'E CREISSAC CAMPOS, TROY ASTARTE, LAURE GONNORD, ANTONIO CERONE, LUIS COUTO, BRIJESH DONGOL, MARTIN KUTRIB, PEDRO MONTEIRO and DAVID DELMAS, eds., 2020. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I Springer.
• RAFAEL C. CARDOSO, LOUISE A. DENNIS, MARIE FARRELL, MICHAEL FISHER and MATT LUCKCUCK, 2020. Towards Compositional Verification for Modular Robotic Systems In: Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020. 15-22
• RAFAEL C. CARDOSO, MARIE FARRELL, MATT LUCKCUCK, ANGELO FERRANDO and MICHAEL FISHER, 2020. Heterogeneous Verification of an Autonomous Curiosity Rover In: NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. 353-360
• MATT LUCKCUCK, MARIE FARRELL, LOUISE A. DENNIS, CLARE DIXON and MICHAEL FISHER, 2019. A Summary of Formal Specification and Verification of Autonomous Robotic Systems In: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. 538-541
• MATT LUCKCUCK, MARIE FARRELL, LOUISE A. DENNIS, CLARE DIXON and MICHAEL FISHER, 2019. Formal Specification and Verification of Autonomous Robotic Systems: A Survey ACM Comput. Surv.. 52(5), 100:1-100:41
• MICHAEL FISHER, EMILY C. COLLINS, LOUISE A. DENNIS, MATT LUCKCUCK, MATT WEBSTER, MIKE JUMP, VINCENT PAG'E, CHARLES PATCHETT, FATEME DINMOHAMMADI, DAVID FLYNN, VALENTIN ROBU and XINGYU ZHAO, 2018. Verifiable Self-Certifying Autonomous Systems In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018. 341-348
• MARIE FARRELL, MATT LUCKCUCK and MICHAEL FISHER, 2018. Robotics and Integrated Formal Methods: Necessity Meets Opportunity In: Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. 161-171
• MATT LUCKCUCK, ANDY J. WELLINGS and ANA CAVALCANTI, 2017. Safety-Critical Java: level 2 in practice Concurr. Comput. Pract. Exp.. 29(6),
• MATT LUCKCUCK, ANA CAVALCANTI and ANDY J. WELLINGS, 2016. A Formal Model of the Safety-Critical Java Level 2 Paradigm In: Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. 226-241
• ANDY J. WELLINGS, MATT LUCKCUCK and ANA CAVALCANTI, 2013. Safety-critical Java level 2: motivations, example applications and issues In: The 11th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '13, Karlsruhe, Germany, October 9-11, 2013. 48-57