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 (14)
aerospace9
fdr9
formal-verification8
verification8
tla8
tlaplus8
requirements8
specification7
refactoring7
theorem-proving6
formal-methods6
jekyll5
autonomy5
ros4
Programming languages (4)
Github contributions (5)
mluckcuck/SCJL2--Circus
Jan 2015 - Apr 2017
Contributions:117 pushes, 1 tag, 1 comment in 2 years 3 months
autonomy-and-verification/acronyms
Dec 2018 - Jan 2024
Contributions:12 pushes, 1 branch in 5 years 2 months
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.