The Research Group
I’m actively looking for motivated PhD and Masters students to join my team! If you are interested in joining the group, please visit the Join the Team page.
Master’s
| # | Student | Project | Details |
|---|---|---|---|
| 1 | Asher Arya | LLM Path Planning with Quantitative Guarantees Publications: [LLMTrust 2026] [arXiv 2026] |
University of Toronto 2025–2026 (ongoing) (mentor) |
Undergraduate
| # | Student(s) | Project | Details |
|---|---|---|---|
| 12 | Nizar Azmi Yessine Chaari Baptiste Didier Moustapha El Zein Kacper Kaluzinski Suthiesan Subramaniam |
Modernization of the Collisions Avoidance Detection System | Capstone Design Project (ECSE 458) McGill University 2026–2027 (ongoing) |
| 11 | Nick Astorian Donovan Burt Simon Ngassam Alexandre Pitie |
Hermes Expense Management for the EUS | Capstone Design Project (ECSE 458) McGill University 2026–2027 (ongoing) |
| 10 | Saransh Padhy | Extracting Schemas from Automotive Crash Reports | Honours Thesis (ECSE 478) McGill University 2026–2027 (ongoing) |
| 9 | Hugo Ye | Automated Repair of Multi-Requirement Specifications for Cyber-Physical Systems | Undergraduate Summer Research Project University of Toronto 2026 (mentor) |
| 8 | Kelsie Fung | Structured Argumentation and Analysis for Trustworthy Agentic Coding | Undergraduate Summer Research Project University of Toronto 2026 (mentor) |
| 7 | Nicholas Poon Hiya Thakkar |
From Crash Reports to Simulation Scenarios for Testing Self-Driving Cars | Computer Science Project (CSC494) University of Toronto 2026 (mentor) |
| 6 | Rhys Balevicius Wilson Sy |
Ensuring Reliability in LLM-Based Workflows via Formal Methods Integration | Computer Science Project (CSC494) University of Toronto 2026 (mentor) |
| 5 | Jiacan Sun | Repairing Requirements for Complex Cyber-Physical Systems | Computer Science Project (CSC494) University of Toronto 2026 (mentor) |
| 4 | Jerry Hou-Liu Oliver Huang Zhekai Jiang Nitin Harehn Kaundun |
Optimizing Automated Generation of Test Scenarios for Autonomous Vehicles with Metaheuristic Search Publications: [MODELS-C 2024] [SBFT 2025] [SE4ADS 2025] |
Capstone Design Project (ECSE 458) McGill University 2023–2024 (mentor) |
| 3 | Catriona McIntosh | Hyperparameter Tuning of NSGA-II for Model-Based Concrete Traffic Scene Generation | Honours Thesis (ECSE 478) McGill University 2023 (mentor) |
| 2 | Guillaume Delmas-Frenette Annabelle Dion Amani Jammoul |
Towards Safety Assurance of Autonomous Vehicles by Scene Concretization | Capstone Design Project (ECSE 458) McGill University 2022–2023 (mentor) |
| 1 | Imad Dodin Muhammad Huzaifa Elahi Ahmed Elehwany Nada Shoukry |
Automated Test Generation Techniques for Systems Engineering Tools | Capstone Design Project (ECSE 458) McGill University 2019–2020 (mentor) |