Undergraduate Honours Projects and Theses Winter 2026
Change term and year:
| Project Name | Student Name | Type | Supervisor Name | Actions |
|---|---|---|---|---|
| Formal Verification of Safety-Critical Numeric and Validation Algorithms Using Dafny and SMT Solvers | Ajaan Nalliah | Project | Doug Howe | View |
| Machine Learning-Based Detection of Anomalous Vessel Behavior in AIS Data | Jiejia Zhou | Project | Michel Barbeau | View |
| Quantum Secure Direct Communication (QSDC) Simulation System | Tim Xia | Project | Michel Barbeau | View |
| Medical Image Classifier with Uncertainty-Aware Triage and Robustness Testing | kanav Pandey | Project | Jean-Pierre Corriveau / Vojislav Radonjic | View |
| Clone College: Addressing Socio-Economic Disparities with Procedural Rhetoric in a Serious Game | Nicholas Ralph | Project | Edward Melcer | View |
| Developing an Eye-Tracking Analysis Tool for Evaluating Head-Up Displays (HUDs) in Driving | Bryce Indanan | Project | Nadine Moacdieh | View |
| Routing In Greedy Spanners | Marco Toito | Project | Prosenjit Bose | View |
| Belief-Aware Stackelberg Control for Adaptive Cancer Therapy: The Cost of Partial Observability | Richard Donghoon Kim | Project | Alan Tsang | View |
| Pose Graph SLAM from Scratch | Mario Pardo | Project | Mark Lanthier | View |
| Eliciting and Studying Opinion Change in LLMs Under Presumed Social Connection | Mustafa Dursunoglu | Project | Zinovi Rabinovich | View |
| Evaluating an OmniParser-Based Data Pipeline for Structured Extraction from Steam Review Screenshots | Shang Shi | Project | Ahmed El-Roby | View |
| The Development of an Intimate Social Network for Friends Watching YouTube through a Chrome Browser Extension | Danielle Nkem | Project | Sean Benjamin | View |
| Training-Time Safety Dynamics for Constrained Reinforcement Learning in Safety-Gymnasium | AHMED AL-OBAIDI | Project | Sriram Subramanian | View |
| Analysis of Pop Culture Discussion Trends and Lifecycles on Reddit | Tudor Lungu | Project | Alan Tsang / Marco Talarico | View |
| Split inference for real-time fault identification in drones | Confidential | Project | Matthew Holden | View |
| Extending Hierarchical Epsilon-Net Navigation (HENN) Graphs for Hybrid Range Queries and Hierarchical Outlier Detection | Peien Liu | Thesis | Michiel Smid | View |
| Finding Paths and Damming Rivers: Automated Prevention of Typographic Rivers in Justified Text | Grace Stewart | Thesis | Ava McKenney | View |
| EXPLORING THE VIABILITY OF GENERATIVE ADVERSARIAL NETWORKS FOR DATA AUGMENTATION OF SURGICAL TIME-SERIES DATA | Ansh Sachinkumar Arora | Thesis | Matthew Holden | View |
| Multi-Stream Spatiotemporal Video Transformer for Automated Cataract Surgical Phase Recognition: A Cross-Institution Validation Study | Anas Abushaikha | Thesis | Matthew Holden | View |
| Simple Budgeting Games | Benjamin Yu | Thesis | Svetlana Obraztsova | View |
| Intraoperative Mean Arterial Pressure Time Series Forecasting Using Deep Learning Methods | Josiah Mak | Thesis | Matthew Holden | View |
| Automated Analysis of Achilles Reflex Response Using Signal Processing and Supervised Learning | Maria Villagomez | Thesis | Matthew Holden | View |
| Automated Analysis of Achilles Reflex Response Using Signal Processing and Supervised Learning | Maria Villagomez | Thesis | Matthew Holden | View |
| Reinforcement Learning for Laparoscopic Lesion Resection | Justice Joakim-Walters | Thesis | Matthew Holden | View |
| Automatic Speech Recognition Adaptation for Pharma IoT Devices | Hakan Khan | Thesis | Omair Shafiq | View |
| Optimizing Moment Retrieval for Educational Videos | Julie Wechsler | Thesis | Olga Baysal / Sriram Subramanian | View |
| Bayesian Persuasion as a Means to Reducing Harm from Behavioural Ad Retargeting | Owen Lucas | Thesis | Zinovi Rabinovich | View |