PhD Admissions
UCL offers a wide range of studentships. Currently we have a number of studentships on offer that are affiliated with the EPSRC project Interface Reasoning for Interacting Systems: 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.