I am currently a Postdoctoral Fellow in the Department of Computer Science at the University of Toronto, in Canada. I am conducting my postdoctoral research under the supervision of Professor Marsha Chechik.
I received my PhD in Software Engineering in 2024 from McGill University, Canada, under the supervision of Professors Gunter Mussbacher and Dániel Varró. My Phd research focussed on the testing of autonomous vehicles through the integration of model-driven engineering concepts, formal methods and search-based approaches. Prior to my PhD, I completed my B.Eng in Computer Engineering at McGill University in 2018.
For more information, please refer to my CV.
My main research interests lie in the safety assurance of (complex) software systems. I am interested in evaluating system safety through two primary approaches: (1) by leveraging formally well-founded techniques in the context of model-driven engineering and formal specification languages, and (2) by employing test-driven methods that integrate formal, search-based, and learning-based approaches for test case and test data generation. My work is especially centered on applying these safety assurance methodologies to (autonomous) automotive systems and to cyber-physical systems at large. Recently, I have also begun exploring system safety threat mitigation through requirements repair.
