Academic Staff

Richard Bornat (Visiting Professor)
James Brotherston (Senior Lecturer / EPSRC Research Fellow)
Byron Cook (Joint appointment with Amazon)
Robin Hirsch (Professor of Mathematical Foundations of Computing)
Peter O'Hearn (Professor of Computer Science, on leave at Facebook, part-time at UCL)
David Pym (Professor of Information, Logic, and Security, Head of Group)
Alexandra Silva (Senior Lecturer/ERC grant holder)
Ilya Sergey
Fabio Zanasi

Research Staff

Gabrielle Anderson (Honorary)
Sukriti Bhattacharya
Paul Brunet
Research Associate
Tristian Caufield
Fredrik Dahlqvist
Max Kanovich
Matteo Sammartino

PhD Students

Hasiba Afzalzada
Simon Docherty
Tobias Kappé
Kareem Khazem
Heidy Khlaaf
Brett McLean
Louis Parlant
Jonathan Spring
Paul Subotic
Gadi Tellez Espinosa
Gerco Van Heerdt
Maria A Schett
Thomas Cattermole

Graduated PhD Students

Kaustubh Nimkar

Research Administrator

Julia Savage (Research Administrator & PA to Professor David Pym)

Previous Members

Nikos Gorogiannis (Senior Lecturer at Middlesex)
Stephan Van Staden (now at Google)
Jules Villard (now at Facebook)
Carsten Fuhs (now a Lecturer at Birkbeck)
Juan Navvaro Perez
Nathan Chong (now a researcher at ARM)
Reuben Rowe
(now a Researcher University of Kent, Canterbury)

This page was last modified on 23 May 2018.