People

People

Academic Staff

Jade Alglave
(Reader on leave at ARM)
Richard Bornat
(Visiting Professor)
James Brotherston
(Reader in Logic and Computation)
Byron Cook
(Professor of Computer Science/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 and Head of Group)
Alexandra Silva
(Professor of Algebra, Semantics and Computation and Royal Society Wolfson Fellow)
Fabio Zanasi
(Lecturer/EPSRC grant holder.)
 
 
 

Research Staff

Paul Brunet
(Research Associate)
Tristian Caufield
(Research Associate)
Diana Costa
(Research Fellow)
Simon Docherty
(Research Fellow)
Max Kanovich
(Research Associate)
Robin Piedeleu
(Research Fellow)
Matteo Sammartino
(Senior Research Associate/Teaching Fellow)
Jurriaan Rot
(Marie Curie Research Fellow)
 
 
 
 

PhD Students

Hasiba Afzalzada
Thomas Cattermole
Tao Gu
Tobias Kappé
Kareem Khazem
Louis Parlant
Jonathan Spring
Maria A Schett
Gerco Van Heerdt
Octavio Zapata
Stefan Zetzche
 

Research Administrator

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

Previous Members

Gabrielle Anderson
(now a Software Reliability Engineer
at Google)
Sukriti Bhattacharya
(now a Postdoctorial Fellow at M-ITI)
Nathan Chong
(now a Principal Researcher at ARM)
Fredrick Dahlqvist
(now a Postdoc at Imperial College London)
Carsten Fuhs
(now a Lecturer at Birkbeck)
Nikos Gorogiannis
(now a Senior Lecturer at Middlesex Universtity/Software Engineer at Facebook)
Heidy Khlaaf
(now a Consultant at Adelard LLP)
Brett McLean
(now a Postdoc at Université Nice Sophia Antipolis)
Kaustubh Nimkar
(now a Software Engineer at Bloomburg LP)
Juan Navvaro Pérez
(now a Software Engineer at Google)

Reuben Rowe
(now a Research Associate at University of Kent)

Ilya Sergey
(now Associate Professor at Yale NUS College)
Paul Subotic
(now a Researcher at Amazon)
Stephan Van Staden
(now a Software Engineer at Google)
Gadi Tellez
(now CTO at Datapainter)
Jules Villard
(now a Software Engineer at Facebook)
 
 
This page was last modified on 01 Apr 2019.