Academic Staff



PhD Students

Student Topic Degree Supervisor Years
Manish Singh Relaxed Lock Free Balanced Binary Search Tree PhD (part-time) Lindsay Groves, Alex Potanin 2017 -
Isaac Gariano TBC PhD Marco Servetto 2019 -
Philip Oliver Generating Tests for Crash Reproduction PhD Michael Homer, Jens Dietrich, Craig Anslow 2021 -
Sherif Riad Program Analysis to detect Incompatible Library Evolution PhD Jens Dietrich, David Pearce 2021 -
Edward Huang Verification in Rust PhD (part-time) Alex Potanin, David Pearce 2021 -

Masters Students

Student Topic Degree Supervisor Years
Regev Benita IQL Master Marco Servetto 2020

Honours Students

Student Topic Degree Supervisor Years
Claire Chambers Optimizing the 42 compiler BE(Hons) Marco Servetto 2021
Justine Micaela Lim-Ranola Flat Finder BE(Hons) Marco Servetto 2021
Thomas Rainford Whiley to TypeScript Transpiler BE(Hons) David Pearce 2021
Max McMurray Transpiling Whiley to C++20 BE(Hons) David Pearce 2021
Pintheruralalag Wijeratne Prolog Visualization BE(Hons) Thomas Kühne 2021
Bailey Jewell Greybox Fuzzing .NET Web Applications BE(Hons) Jens Dietrich , Ferdinand Hagethorn (Planit Testing), Hugh Davenport (Planit Testing) 2021
Dominic Tjiptono Haskell in the Real World BE(Hons) Alex Potanin, James Noble 2021
Rowan Rathod Automated Farm Sensing on a Robonomics Platform BE(Hons) Alex Potanin 2021
Samantha Hau Paramedic/GP/Patient Communication App BE(Hons) Alex Potanin and Industrial Client at Whitireia/WFA 2021
Lavanya Sajwan Why do developers do what they do? BE(Hons) James Noble, Craig Anslow 2020
Jack Hazlehurst Incremental Static Analysis for Regression Test Selection BE(Hons) Jens Dietrich 2020
Philip Oliver Analysing Workloads for Incremental Compilers BE(Hons) David Pearce 2020

Research Assistants