
A/Prof Jens Dietrich
Associate Professor School of Engineering and Computer Science
Associate Professor School of Engineering and Computer Science
Associate Professor School of Engineering and Computer Science
Senior Lecturer School of Engineering and Computer Science
Lecturer School of Engineering and Computer Science
Lecturer School of Engineering and Computer Science
Adjunct Professor School of Engineering and Computer Science
Adjunct Associate Professor School of Engineering and Computer Science
Associate Professor School of Engineering and Computer Science
Lecturer School of Engineering and Computer Science
Lecturer School of Engineering and Computer Science
Assistant Lecturer School of Engineering and Computer Science
Honorary Research Associate School of Engineering and Computer Science
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 - |