Evaluating an OmniParser-Based Data Pipeline for Structured Extraction from Steam Review Screenshots
★ Featured Project

Evaluating an OmniParser-Based Data Pipeline for Structured Extraction from Steam Review Screenshots

Shang Shi · Ahmed El-Roby

View Project →
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 →
Multi-Stream Spatiotemporal Video Transformer for Automated Cataract Surgical Phase Recognition: A Cross-Institution Validation Study
★ Featured Thesis

Multi-Stream Spatiotemporal Video Transformer for Automated Cataract Surgical Phase Recognition: A Cross-Institution Validation Study

Anas Abushaikha · 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 →
Routing In Greedy Spanners
★ Featured Project

Routing In Greedy Spanners

Marco Toito · Prosenjit Bose

View Project →
Simple Budgeting Games
★ Featured Thesis

Simple Budgeting Games

Benjamin Yu · Svetlana Obraztsova

View Thesis →

Undergraduate Honours Projects and Theses Summer 2026

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