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 Marco Servetto
Lecturer School of Engineering and Computer Science
Dr Julian Mackay
Lecturer School of Engineering and Computer Science
Dr Craig Anslow
Senior Lecturer School of Engineering and Computer Science
Affiliated
Prof James Noble
Adjunct Professor School of Engineering and Computer Science
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
Senior 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 |
|---|---|---|---|---|
| Nkiru Ede | Networks of Knowledge Sharing - Complex Dynamics of Software Components | PhD | Jens Dietrich | 2023 - |
| Bailey Jewell | Using Program Analysis for Provenance | PhD | Jens Dietrich, Markus Luczak-Roesch | 2022 - |
| 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 - |
| Isaac Gariano | Verification and L42 | PhD | Marco Servetto | 2019 - |