Formal Verification of Safety-Critical Numeric and Validation Algorithms Using Dafny and SMT Solvers
★ Featured Project

Formal Verification of Safety-Critical Numeric and Validation Algorithms Using Dafny and SMT Solvers

Ajaan Nalliah · Doug Howe

View Project →
Optimizing Moment Retrieval for Educational Videos
★ Featured Thesis

Optimizing Moment Retrieval for Educational Videos

Julie Wechsler · Olga Baysal

View Thesis →
Analysis of Pop Culture Discussion Trends and Lifecycles on Reddit
★ Featured Project

Analysis of Pop Culture Discussion Trends and Lifecycles on Reddit

Tudor Lungu · Alan Tsang

View Project →
Intraoperative Mean Arterial Pressure Time Series Forecasting Using Deep Learning Methods
★ Featured Thesis

Intraoperative Mean Arterial Pressure Time Series Forecasting Using Deep Learning Methods

Josiah Mak · Matthew Holden

View Thesis →
Training-Time Safety Dynamics for Constrained Reinforcement Learning in Safety-Gymnasium
★ Featured Project

Training-Time Safety Dynamics for Constrained Reinforcement Learning in Safety-Gymnasium

AHMED AL-OBAIDI · Sriram Subramanian

View Project →
Belief-Aware Stackelberg Control for Adaptive Cancer Therapy: The Cost of Partial Observability
★ Featured Project

Belief-Aware Stackelberg Control for Adaptive Cancer Therapy: The Cost of Partial Observability

Richard Donghoon Kim · Alan Tsang

View Project →

Undergraduate Honours Projects and Theses Summer 2026

Project Name Student Name Type Supervisor Name Actions
Nothing found, please check back later