A/Prof Jens Dietrich
Associate Professor School of Engineering and Computer Science
People
Academic Staff
A/Prof Thomas Kühne
Associate Professor School of Engineering and Computer Science
Dr Craig Anslow
Senior Lecturer School of Engineering and Computer Science
Dr Marco Servetto
Lecturer School of Engineering and Computer Science
Dr Julian Mackay
Lecturer School of Engineering and Computer Science
Affiliated
Prof James Noble
Adjunct Professor School of Engineering and Computer Science
A/Prof David Pearce
Adjunct Associate Professor School of Engineering and Computer Science
A/Prof Hui Ma
Associate Professor School of Engineering and Computer Science
Dr Michael Homer
Lecturer School of Engineering and Computer Science
Dr Harith Al-Sahaf
Lecturer School of Engineering and Computer Science
Kirita-Rose Escott
Assistant Lecturer School of Engineering and Computer Science
A/Prof Lindsay Groves
Honorary Research Associate School of Engineering and Computer Science
PhD Students
| Student | Topic | Degree | Supervisor | Years |
|---|---|---|---|---|
| Nicholas Webster | Automatic Parallelism | PhD | Marco Servetto, Michael Homer | 2021 - |
| Philip Oliver | Generating Tests for Crash Reproduction | PhD | Michael Homer, Jens Dietrich, Craig Anslow | 2021 - |
| Bailey Jewell | Using Program Analysis for Provenance | PhD | Jens Dietrich, Markus Luczak-Roesch | 2022 - |
| Isaac Gariano | Verification and L42 | PhD | Marco Servetto | 2019 - |