Current and Former Members

Current Members

Expand All

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 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.

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

Postdoctoral Research Associate (2019-22). 

Personal link.

Doctoral Student in Computer Science. 

Doctoral Student in Computer Science. 

Postdoctoral Research Associate (2021-ongoing). 

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

Personal link.

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

Doctoral Student in Computer Science.

Personal link

Former Members

Expand All

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).

Personal link.  

Visiting Doctoral Student (2014-16). 

Doctoral Student in Computer Science. Postdoctoral Research Associate (2020-21). 

Postdoctoral Research Associate (2016-18). 

Personal link.

Postdoctoral Research Associate (2015-16). 

Personal link

Doctoral Student in Computer Science. DPhil Student, Systems Biology CDT.

Doctoral Student in Computer Science.

Visiting Doctoral Student (2015). 

Doctoral Student in Computer Science. 

Doctoral Student in Computer Science. 

Personal link.

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

Research Associate (2015-16). 

Personal link

Visiting Doctoral Student (2017).