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.