A picture of Matt Luckcuk taken in 2023. He is a white man with an oval face, long brown hair that comes over his shoulders, and a medium-length brown beard. He is smiling, slightly and looking straight into the camera lens. He is wearing a light blue shirt.

I am an Assistant Professor at the University of Nottingham, UK. I work on developing and applying formal verification techniques to automated and autonomous systems. I am part of the Autonomy and Verification Network, which is a research collaboration focussing on verification of autonomous systems. In 2019 I co-founded the Workshop on Formal Methods for Autonomous Systems.

Previously I’ve worked as a Post-Doctoral Researcher in the Department of Computer Science at Maynooth University, on the EU-funded Verification and Validation of Automated Systems’ Safety and Security project; and as a Research Associate at the Universities of Manchester and Liverpool on the RAIN Hub. I received my PhD in Computer Science from the University of York. More details of my thesis and research can be found on the Research page.