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.
+44 (0)20 7679 7214 - Copyright © 1999-2016 UCL