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 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.

I’ve also found teaching very enjoyable and rewarding. I’ve been DBS checked and my teaching experience has ranged over many age- and ability-levels; from 8 to (nearly) 80, and from beginners up to university level. Details of some of my teaching experience can be found on the Teaching and Outreach page.