PhD Admissions

UCL offers a wide range of studentships. Currently we have a number of studentships on offer that are affiliated with the EPSRC projects Interface Reasoning for Interacting Systems and A Coalgebraic Framework for Reductive Logic and Proof-Search: more information and instructions for applications can be found here.

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.
Alexandra Silva
Logic, semantics and design of programming languages, coalgebra, automated reasoning.
Fabio Zanasi
Programming language theory, algebraic methods in computer science, string diagrams.

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 05 Mar 2019.