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.