The Research Group

Research

My research interests focus on safety assurance for AI-enabled Cyber-Physical Systems. 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.

I’m actively looking for motivated PhD and Masters students to join my team! If you are interested in pursuing research in these areas, please visit the Join the Team page.

Previous Projects and Supervision

Master’s

• Asher Arya — LLM Path Planning with Quantitative Guarantees
  University of Toronto · 2025–2026 (ongoing, co-supervised)
  Publications: LLMTrust26.

Undergraduate

• Hugo Ye — Automated Repair of Multi-Requirement Specifications for Cyber-Physical Systems
  Undergraduate Summer Research Project · University of Toronto · 2026 (co-supervised)

• Kelsie Fung — Structured Argumentation and Analysis for Trustworthy Agentic Coding
  Undergraduate Summer Research Project · University of Toronto · 2026 (co-supervised)

• Nicholas Poon, Hiya Thakkar — From Crash Reports to Simulation Scenarios for Testing Self-Driving Cars
  Computer Science Project Course (CSC494) · University of Toronto · 2026 (co-supervised)

• Rhys Balevicius, Wilson Sy — Ensuring Reliability in LLM-Based Workflows via Formal Methods Integration
  Computer Science Project Course (CSC494) · University of Toronto · 2026 (co-supervised)

• Jiacan Sun — Repairing Requirements for Complex Cyber-Physical Systems
  Computer Science Project Course (CSC494) · University of Toronto · 2026 (co-supervised)

• Zhekai Jiang, Jerry Hou-Liu, Oliver Huang, Nitin Harehn Kaundun — Optimizing Automated Generation of Test Scenarios for Autonomous Vehicles with Metaheuristic Search
  ECSE 458 Capstone Design Project · McGill University · 2023–2024 (co-supervised)
  Publications: MODELS-C24, SBFT25, and SE4ADS25.

• Guillaume Delmas-Frenette, Annabelle Dion, Amani Jammoul — Towards Safety Assurance of Autonomous Vehicles by Scene Concretization
  ECSE 458 Capstone Design Project · McGill University · 2022–2023 (co-supervised)

• Imad Dodin, Nada Marawan, Muhammad Huzaifa Elahi, Ahmed Elehwany — Design Project
  ECSE 458 Capstone Design Project · McGill University · 2019–2020 (co-supervised)

• Catriona McIntosh — Hyperparameter Tuning of NSGA-II for Model-Based Concrete Traffic Scene Generation
  ECSE 478 Honours Thesis · McGill University · 2023 (co-supervised)