I am currently a Postdoctoral Fellow in the Department of Computer Science at the University of Toronto, Canada, under the supervision of Professor Marsha Chechik. I received my Ph.D. in Software Engineering in 2024 from McGill University, Canada, under the supervision of Professors Gunter Mussbacher and Dániel Varró. Prior to my Ph.D., I completed my B.Eng in Computer Engineering at McGill University in 2018.
My research interests focus on the safety assurance for AI-enabled CPSs. I study how safety can be assessed end-to-end across the system lifecycle through approaches that ensure rigorous coverage of the system's operational space. My work focuses on deriving trustworthy safety arguments that reduce deployment risks and strengthen societal confidence in AI-driven systems.
For more information, please refer to my CV.
In 2022, I completed a research internship in the Autonomous Vehicles (AVs) Group at NVIDIA. I developed automated methods for generating test scenarios from in-house autonomous vehicle requirements, enabling controller-level verification of production-grade AV stacks in simulation.
In 2020 and 2021, I completed two internships as an Applied Scientist in the Automated Reasoning Group at Amazon Web Services (AWS). My work focused on integrating support for function contracts into memory-safety proofs for C programs using the CBMC model checker.
