Matt Luckcuck
Assistant Professor at University of Nottingham School of Computer Science
United Kingdom
Summary
👤
Senior🎓
Top SchoolMatt Luckcuck is an Assistant Professor of Computer Science at the University of Nottingham with 11 years’ experience applying formal methods to safety-critical and autonomous systems. He holds a PhD from the University of York and has led research on model checking, behavioural specification (often using CSP), requirements engineering and runtime verification across projects in aerospace and nuclear domains. Matt co-founded the Workshop on Formal Methods for Autonomous Systems and has practical experience adapting software for formal requirements tooling (Mu‑FRET) and integrating verification with Simulink models. His work combines theoretical rigour with hands-on engineering—guiding how autonomous systems can be designed to be amenable to robust verification and real-world assurance.
11 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Safety-Critical Java Level 2 Programs: Application, Modelling, Verification, Doctor of Philosophy (PhD), Computer Science, Safety-Critical Java Level 2 Programs: Application, Modelling, Verification at University of YorkBachelor's Degree, Computer Science, First, Bachelor's Degree, Computer Science, First at The University of Wolverhampton
Github Skills (9)
fdr9
verification8
tla8
specification8
tlaplus7
theorem-proving6
jekyll6
autonomy3
ros3
Programming languages (4)
Github contributions (5)
ml881/SCJL2--Circus
Jan 2015 - Apr 2017
Contributions:117 pushes, 1 tag, 1 comment in 2 years 3 months
FMASWorkshop/FMASWorkshop.github.io
Feb 2021 - Mar 2025
Contributions:162 pushes, 2 branches in 4 years
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.