Current and Former Members
Current Members
Professor of Verification and Control, Department of Computer Science. Fellow and Tutor in Computer Science, St Hugh's College. Fellow, Alan Turing Institute London. Faculty member, ELLIS, FLI, Oxford-Man.
Personal link.
Doctoral Student in Computer Science. DPhil Student, AIMS CDT.
Doctoral Student in Engineering Science. DPhil Student, AIMS CDT. DPhil affiliate, Future of Humanity Institute.
Doctoral Student in Computer Science. DPhil Student, AIMS CDT.
Doctoral Student in Computer Science. DPhil Student, AIMS CDT.
Postdoctoral Research Associate on VR Fellowship (Lund-Oxford).
Professor at UC Louvain, visiting OXCAV for academic year 2022-23 (sabbatical leave).
Doctoral Student in Computer Science. DPhil affiliate, Future of Humanity Institute.
Doctoral Student in Computer Science. DPhil Student, AIMS CDT.
Doctoral Student in Computer Science.
Postdoctoral Research Associate (2021-ongoing).
Postdoctoral Research Associate (2022-now).
Doctoral Student in Computer Science. DPhil affiliate, Future of Humanity Institute.
Doctoral Student in Computer Science.
Personal link.
Former Members
Doctoral Student in Computer Science.
Doctoral Student in Computer Science.
Personal link.
Doctoral Student in Computer Science.
Personal link.
Graduate Student in Mathematics. Doctoral Student, the Alan Turing Institute London.
Visiting Doctoral Student (2019).
Postdoctoral Research Associate (2019-2021). Then Lecturer at U Birmingham.
Personal link.
Visiting Doctoral Student (2014-16). Formerly PhD Student at TU Delft. Then Postdoc at Caltech, now Assistant Prof. at TU Eindhoven.
Doctoral Student in Computer Science. Postdoctoral Research Associate (2020-21).
Visiting Doctoral Student (2022) from DCSC, TU Delft.
Postdoctoral Research Associate (2016-18). Then Assistant Prof. at U Missouri (US).
Personal link.
Postdoctoral Research Associate (2019-22).
Postdoctoral Research Associate (2015-16).
Personal link.
Doctoral Student in Computer Science. DPhil Student, Systems Biology CDT. Then at Oxford-Man Institute.
Former Doctoral Student in Computer Science.
Doctoral Student in Computer Science. Then Lecturer at ITS Surabaiya (ID).
Visiting Doctoral Student (2015). Then Postdoc at The Technion (IL).
Doctoral Student in Computer Science. Then Postdoc at TU Delft.
Doctoral Student in Computer Science. Then Postdoc at UC Berkeley, now Lecturer at U Edinburgh.
Personal link.
Doctoral Student in Engineering Science. DPhil Student, AIMS CDT.
Doctoral Student in Computer Science. DPhil Student, AIMS CDT.
Research Associate (2015-16). Formerly PhD Student at TU Delft. Then Postdoc at MPI, now Lecturer at U Newcastle (UK).
Personal link.
Visiting Doctoral Student (2017). Then Postdoc at IMT Lucca (IT).