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 |
|---|---|---|---|---|
| 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 - |
| Isaac Gariano | TBC | PhD | Marco Servetto | 2019 - |
| Manish Singh | Relaxed Lock Free Balanced Binary Search Tree | PhD (part-time) | Lindsay Groves, Alex Potanin | 2017 - |
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 | WFA Events Management App | BE(Hons) | Alex Potanin and Roger Cliffe (as client) | 2021 |