Research Overview

In the pursuit of adapting system safety engineering to new types of systems, such as collaborative automated vehicles, my research is about automation of safety assurance activities using domain specific languages and formal verification. Currently I'm in the final stages of my PhD, where I propose an approach for partially automating the activity of keeping safety assurance artefacts consistent with each other, espcially focusing on keeping the safety case consistent with other work products generated by the execution of the safety lifecycle.

I continuously publish about my research in peer-reviewed international venues.