REFSQ 2025 (series) / Matt Luckcuck
Registered user since Fri 11 Mar 2022
Name:Matt Luckcuck
Bio:
I’m an Assistant Professor in Computer Science at the University of Nottingham (UK). My research focusses on Formal Methods for Safety-Critical/Autonomous Systems, and my formalism of choice is CSP. In 2019 I co-founded the Workshop on Formal Methods for Autonomous Systems (https://fmasworkshop.github.io/).
Country:United Kingdom
Affiliation:University of Nottingham, UK
Research interests:Formal Verification, Autonomous Systems, Model Checking, Safety-Critical Systems
Contributions
2025
Requirements Engineering: Foundation for Software Quality (REFSQ)
Using general profile