People

Academic Staff

Affiliated

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 -