糖心原创

Contact

• workRoom B50 Computer Science
  Jubilee Campus
  Wollaton Road
  Nottingham
  NG8 1BB
  UK
• Matt.Luckcuck@nottingham.ac.uk

Biography

I'm an Assistant Professor in Computer Science at the 糖心原创 (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 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 () 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 , 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. Robotics. 12(2), 62
• MATT LUCKCUCK and MARIE FARRELL, eds., 2022.
• DARA MACCONVILLE, MARIE FARRELL, MATT LUCKCUCK and ROSEMARY MONAHAN, 2022. 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. 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. Robotics. 12(2), 62
• MATT LUCKCUCK and MARIE FARRELL, eds., 2022.
• DARA MACCONVILLE, MARIE FARRELL, MATT LUCKCUCK and ROSEMARY MONAHAN, 2022. 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. 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. 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. 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. 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.
• MARIE FARRELL, MATT LUCKCUCK, LAURA PULLUM, MICHAEL FISHER, ALI HESSAMI, DANIT GAL, ZVIKOMBORERO MURAHWI and KEN R. WALLACE, 2021. 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. 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. Robotics. 10(2), 67
• ANGELO FERRANDO, RAFAEL C. CARDOSO, MARIE FARRELL, MATT LUCKCUCK, FABIO PAPACCHINI, MICHAEL FISHER and VIVIANA MASCARDI, 2021. Formal Methods Syst. Des.. 59(1), 44-76
• MATT LUCKCUCK and MARIE FARRELL, eds., 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. Springer.
• RAFAEL C. CARDOSO, LOUISE A. DENNIS, MARIE FARRELL, MICHAEL FISHER and MATT LUCKCUCK, 2020. 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. 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. 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. 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. 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. 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. Concurr. Comput. Pract. Exp.. 29(6),
• MATT LUCKCUCK, ANA CAVALCANTI and ANDY J. WELLINGS, 2016. 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. In: The 11th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '13, Karlsruhe, Germany, October 9-11, 2013. 48-57