
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
Lecturer School of Engineering and Computer Science
Lecturer School of Engineering and Computer Science
Senior 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
Senior 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 |
---|---|---|---|---|
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 - |