University of Oxford
Oxford Control and Verification
Department of Computer Science
Search

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. 

Postdoctoral Researcher on the UKRI AI Hub project. 

Doctoral Student in Engineering Science. DPhil Student, AIMS CDT. DPhil affiliate, Future of Humanity Institute.

Doctoral Student in Computer Science. DPhil Student, AIMS CDT. 

Postdoctoral Researcher on ARIA project. 

Doctoral Student in Computer Science. With Prof Marta Kwiatkowska. Former MSc Project supervisee. 

Postdoctoral Assistant, started in HT25. 

Doctoral Student in Computer Science. Clarendon Fellow. 

Doctoral Student in Computer Science. DPhil affiliate, Future of Humanity Institute. With Prof Wooldridge. 

Doctoral Student in Computer Science. 

Doctoral Student in Computer Science. DPhil Student, AIMS CDT.

Doctoral Student in Computer Science. With Prof Mike Wooldridge. Former MSc Project supervisee. 

Doctoral Student in Computer Science. With Yarin Gal's OATML group. 

Doctoral Student in Computer Science. 

Doctoral Student in Computer Science, Oxford-Max Planck Institute programme. 

Doctoral Student in Computer Science. DPhil Student, AIMS CDT. With Prof K. Margellos (Engineering). 

Doctoral Student in Computer Science. Former MSc Project supervisee. Starting at Postdoc at U. Birmingham, UK. 

Doctoral Student in Computer Science. With Prof Dave Parker. Former MSc Project supervisee. 

Postdoctoral Assistant, JRF at St Hugh's College. 

Doctoral Student in Computer Science. DPhil affiliate, Future of Humanity Institute. Former MSc Project supervisee. 

Postdoctoral Researcher - starting in HT25. 

Postdoctoral Research Associate, Career Development Fellow at St Hugh's College Oxford. 

Doctoral Student in Computer Science. 

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 with Prof Oberhauser. Doctoral Student, the Alan Turing Institute London. 

Doctoral Student in Computer Science. DPhil Student, AIMS CDT. 

Doctoral Student in Computer Science. DPhil Student, AIMS CDT. With Prof Wooldridge. 

Former Visiting Doctoral Student (2019). 

Postdoctoral Research Associate on VR Fellowship (KTH-Oxford), years 2022-24. Started as Lecturer at Imperial College London, in 2024. 

Postdoctoral Research Associate (2019-2021). Then Assistant Professor at University of Birmingham, UK. 

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). Then Researcher at MSR, New York. 

Visiting Doctoral Student (2022) from DCSC, TU Delft. Now postdoc at Oxford CS. 

Postdoctoral Research Associate (2016-18). Then Assistant Prof. at U Missouri (US). 

Personal link.

Postdoctoral Research Associate (2019-22). Then at CBL, Cambridge University. Now Lecturer at U Aberdeen, UK. 

Professor at UC Louvain, visiting OXCAV for academic year 2022-23 (sabbatical leave).

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. Now at TNO, NL. 

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. 

Postdoctoral Research Associate (2021-2023), then Postdoctoral Researcher at Stanford. Now Assistant Professor at DTU, DK. 

Doctoral Student in Computer Science. DPhil Student, AIMS CDT.

Postdoctoral Research Associate (2022-23).

In Oxford during MT24 and HT25, whilst a PhD Student at TU Delft. 

Research Associate (2015-16). Formerly PhD Student at TU Delft. Then Postdoc at MPI, now Lecturer at U Newcastle (UK). 

Personal link. 

Doctoral Student in Computer Science. DPhil Student, AIMS CDT. 

Former Doctoral Student in Computer Science.

Visiting Doctoral Student (2017). Then Postdoc at IMT Lucca (IT). 

Doctoral Student at TU Delft, 2010-14. 

Doctoral student at TU Delft with Prof van den Hof, 2012-16.  

Doctoral student at TU Delft, 2010-15. 

Doctoral student at TU Delft, 2010-15.