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
Extending Hierarchical Epsilon-Net Navigation (HENN) Graphs for Hybrid Range Queries and Hierarchical Outlier Detection Peien Liu Thesis Michiel Smid View