REFSQ 2022 (series) / Matt Luckcuck
Registered user since Fri 11 Mar 2022
Name:Matt Luckcuck
Bio:
I’m a Post-Doctoral Researcher in the Department of Computer Science at Maynooth University, Ireland. My research interests include formal behavioural specification, model-checking, runtime verification, and safety verification and assurance for autonomous, automated, and other safety-critical systems.
Country:Ireland
Affiliation:Maynooth Universtiy
Research interests:Formal Verification, Autonomous Systems, Model Checking, Safety-Critical Systems
Contributions
2022
Requirements Engineering: Foundation for Software Quality (REFSQ)
REFSQ 2022-profile
View general profile
View general profile