Academic Staff

Samson Abramsky
Jade Alglave
(Professor of Computer Science, 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)
Benjamin Kaminski
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)
Mehrnoosh Sadrzadeh
(Associate Professor)
Alexandra Silva
(Professor of Algebra, Semantics and Computation and Royal Society Wolfson Fellow)
Fabio Zanasi
(Associate Professor)

Research Staff

Paul Brunet
(Research Fellow)
Tristian Caufield
(Research Fellow)
Diana Costa
(Research Fellow)
Fredrik Dahlqvist
(Research Fellow)
Simon Docherty
(Honorary Research Fellow)
Estibaliz Fraca
(Research Fellow)
Tiago Ferreira
(Research Assistant)
Gerco Van Heerdt
(Research Assistant)
Max Kanovich
(Research Fellow)
Timo Lang
(Research Fellow)
Sonia Marin
(Research Fellow)
Robin Piedeleu
(Research Fellow)

PhD Students

Taner Cagal
Thomas Cattermole
Alexander Gheorghiu
Tao Gu
Kareem Khazem
Kin Ian Lo
Leo Lobski
Saba Nazir
Wojciech Rozowski
Maria A Schett
Todd Wayne Schmid
Jas Semrl
Will Smith
Daphne Wang
Hadi Wazni
Stefan Zetzsche
Linpeng Zhang

Research Administrator

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

Previous Members

Hasiba Afzalzada
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)
Simon Docherty
(now a Research Engineer at Droit)
Carsten Fuhs
(now a Lecturer at Birkbeck)
Nikos Gorogiannis
(now a Senior Lecturer at Middlesex Universtity/Software Engineer at Facebook)
Christoph Haase
(now at PQShield)
Tobias Kappé
(now a Postdoctorial Fellow at Cornell University)
Heidy Khlaaf
(now a Senior Consultant at Adelard LLP)
Brett McLean
(now a Postdoc at Université Nice Sophia Antipolis)
Kaustubh Nimkar
(now a Software Engineer at Bloomburg LP)
Louis Parlant
(now a Teaching fellow at UCL)
Juan Navvaro Pérez
(now a Software Engineer at Google)

Jurriaan Rot
(now an Assistant Professor at Radboud)
Reuben Rowe
(now a Lecturer at Royal Holloway)

Matteo Sammartino
(now a Lecturer at Royal Holloway)
Ilya Sergey
(now Associate Professor at Yale NUS College)
Jonathan Spring
(now an Analyst at CERT)
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)
Bas Westerbaan
(Research Fellow)
This page was last modified on 20 May 2021.