Registered user since Fri 11 Mar 2022
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.
|REFSQ 2022||FRETting About Requirements|
|Show activities from other conferences|
View general profile