A picture of Matt Luckcuk taken in 2021. 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.

I’m a Post-Doctoral Researcher in the Department of Computer Science at Maynooth University. I work on developing and applying formal verification techniques to automated and autonomous systems.

Previously I’ve been a Research Associate at the Universities of Manchester and Liverpool. I got my PhD in Computer Science from the University of York. More details of my thesis, publications, and current project 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 to university level. Details of my teaching experience can be found on the Teaching and Outreach page.

A current(ish) version of my CV can be found here.