An increasingly out of date picture of Matt Luckcuk at his PhD Graduation in 2017

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.