PhD Admissions

UCL offers a wide range of studentships.  Currently we have a studentship on offer which will be supervised by our Head of Group David Pym.


UCL holds events and open days throughout the year for prospective students.

We have a diverse range of research within the group supervised by the following faculty members:


Byron Cook

Automated formal verification * symbolic model checking * decision procedures and SMT.


James Brotherston

Logic; verification; automated reasoning.


Robin Hirsch

Algebras of relations, algebraic logic, game theory and complexity.


David Pym

Logic; systems modelling and verification; security modelling (e.g., architecture, policy, access control, information flow); security economics; regulatory policy in information security.

Ilya Sergey

Concurrent and distributed programming; mechanized theorem proving; functional programming; type theory; static program analysis


Alexandra Silva

Logic, semantics and design of programming languages, coalgebra, automated reasoning.


If you are interested in undertaking a PhD in any of the above areas of research please apply here.




This page was last modified on 26 Oct 2016.