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
REFSQ 2022 | FRETting About Requirements | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
REFSQ 2022-profile
View general profile
View general profile