Write a Blog >>
Matt Luckcuck

Registered user since Fri 11 Mar 2022

Name:Matt Luckcuck

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.

Affiliation:Maynooth Universtiy
Research interests:Formal Verification, Autonomous Systems, Model Checking, Safety-Critical Systems



Requirements Engineering: Foundation for Software Quality (REFSQ)

Show activities from other conferences

REFSQ 2022-profile
View general profile