Prof James Noble
Professor School of Engineering and Computer Science
People
Academic Staff
A/Prof Thomas Kühne
Associate Professor School of Engineering and Computer Science
A/Prof Jens Dietrich
Associate Professor School of Engineering and Computer Science
A/Prof David Pearce
Associate Professor School of Engineering and Computer Science
A/Prof Hui Ma
Associate Professor School of Engineering and Computer Science
A/Prof Alex Potanin
Associate Professor School of Engineering and Computer Science
Dr Marco Servetto
Lecturer School of Engineering and Computer Science
Dr Michael Homer
Lecturer School of Engineering and Computer Science
Dr Craig Anslow
Senior Lecturer School of Engineering and Computer Science
Postdocs
Julian Mackay
Postdoc School of Engineering and Computer Science
Affiliated
Dr Harith Al-Sahaf
Lecturer School of Engineering and Computer Science
Kirita-Rose Escott
Assistant Lecturer School of Engineering and Computer Science
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 |