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 Michael Homer
Senior Lecturer School of Engineering and Computer Science
Dr Craig Anslow
Senior Lecturer School of Engineering and Computer Science
Affiliated
Professor James Noble
Adjunct Professor Creative Research & Programming
Dr David Pearce
Adjunct Associate Professor School of Engineering and Computer Science
A/Prof Hui Ma
Associate Professor 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 |
|---|---|---|---|---|
| Andrew Fawcet | Developing Dynamic Concurrent Capability Based Systems | PhD | Michael Homer, James Noble | 2023 - |
| 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 - |
| Nick Webster | Automatic Parallelism | PhD | Marco Servetto, Michael Homer | 2021 - |
| Isaac Oscar Gariano | Verification and L42 | PhD | Marco Servetto | 2019 - 2024 |