People

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 (Professor/ERC grant holder)
Fabio Zanasi
Lecturer and Enhanced Formal Reasoning for Algebraic Network Theory grant holder.
Reader on leave at ARM
 
 
 
 
 
 
 

Research Staff

Paul Brunet
Research Associate
Tristian Caufield Research Associate
Fredrik Dahlqvist Research Associate
Max Kanovich Research Associate
Matteo Sammartino Research Associate
Simon Docherty Research Fellow
Diana Costa Research Fellow
Robin Piedeleu
Research Fellow

PhD Students

Hasiba Afzalzada
Tobias Kappé
Kareem Khazem
Brett McLean
Louis Parlant
Jonathan Spring
Gadi Tellez Espinosa
Gerco Van Heerdt
Maria A Schett
Thomas Cattermole
Octavio Zapata
Tao Gu
Stefan Zetzche
PhD Student
 
 
 

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)

Sukriti Bhattacharya Previous Research Associate
Gadi Tellez (Previous PhD student)
Previous a lecturer at PPLV and is now an Associate Professor at Yale NUS College.
Previous PhD student in PPLV. Now a consultant at Adelard LLP
Previous PhD Student in PPLV. Now a Researcher at Amazon.
 
 
 
This page was last modified on 21 Nov 2018.