People

Current research staff (research fellows, postdoc and postgraduate researchers)

• Alasdair Armstrong
• Thomas Bauereiss
• Kayvan Memarian
• Christopher Pulte (Royal Society University Research Fellow)
• Vadim Zaliva

Current PhD Students

• Nils Lauermann, 2023-
• Rini Banerjee, 2022- (supervised jointly with Neel Krishnaswami)
• Thibaut Pérami, 2021-
• Dhruv Makwana, 2020- (supervised jointly with Neel Krishnaswami)
• Angus Hammond, 2019-
• Ben Simner, 2018-
• David Kaloper Meršinjak, 2016-. (initially supervised jointly with Anil Madhavapeddy)
• Shaked Flur, 2013-. (Google, writing up)

Previous PhD Students

• Mark Wassell, 2016- (supervised jointly with Neel Krishnaswami; on hold)
• Conrad Watt, 2016-2021. Mechanising and evolving the formal semantics of WebAssembly: The Web's new low-level language. EAPLS Best Dissertation Award 2021, and Honorable Mention for the 2022 ACM Doctoral Dissertation Award. (JRF, University of Cambridge Nanyang Technological University)
• Christopher Pulte 2014-2019. The Semantics of Multicopy Atomic ARMv8 and RISC-V. (RA Royal Society University Research Fellow, University of Cambridge)
• Kyndylan Nienhuis 2013-2021. Verified security properties for the capability-enhanced CHERI-MIPS architecture
• Jean Pichon-Pharabod 2013-2017. A no-thin-air memory model for programming languages (Aarhus University)
• Justus Matthiesen 2012-. Switched to work with Andrew Pitts
• Kayvan Memarian 2011-2022. The Cerberus C Semantics. (RA, University of Cambridge)
• Mark Batty 2009-2014. The C11 and C++11 Concurrency Model. Winner of the 2015 SIGPLAN John C. Reynolds Doctoral Dissertation award and the BCS 2015 Distinguished Dissertation award. (University of Kent)
• Rok Strniša 2005-2010. Formalising, improving, and reusing the Java Module System (Improbable)
• John Billings 2005-. Switched to work on Metarouting with Tim Griffin. (Facebook)
• Gareth Stoyle 2001-2006. Dynamic Software Updating (CIBC Capital Markets)
• Moritz Becker 2001-2005. Cassandra: flexible trust management and its application to electronic health records (Microsoft Research)
• Andrei Serjantov -2004. On the Anonymity of Anonymity Systems (BMP Paribas)
• Asis Unyapoth -2001. Nomadic Pi Calculi: Expressing and Verifying Infrastructure for Mobile Computation (Thai Government)
• Pawel Wojciechowski -2000. Nomadic Pict: Language and Infrastructure Design for Mobile Computation (Poznan University of Technology)

Previous research staff (postdoc and postgraduate researchers, not including those also in the PhD student list)

• Mair Allen-Williams
• Peter Boehm
• Adam Biltcliffe
• Steve Bishop (CMR Surgical)
• Mike Dodds (University of York Galois)
• Matthew Fairbairn
• Thomas Fourier
• Jon French
• Anthony Fox (Arm Research)
• Kathryn Gray (Facebook)
• Victor Gomes (Google)
• Pierre Habouzit
• Ohad Kammar (University of Edinburgh)
• Stephen Kell (University of Kent)
• Gabriel Kerneis (Google)
• Hannes Mehnert (Center for the cultivation of technology)
• Dominic Mulligan (Arm Research Amazon)
• Kyndylan Nienhuis
• Michael Norrish (ANU)
• Robert Norton-Wright (Microsoft Research)
• Scott Owens (University of Kent Facebook)
• Gilles Peskine (Arm)
• Linden Ralph
• Tom Ridge (University of LeicesterAltodata)
• Susmit Sarkar (University of St. Andrews)
• Jaroslav Sevcik (Google)
• Thomas Sewell
• Ali Sezgin (Facebook)
• Mark Shinwell (Jane Street)
• Michael Smith (Adobe)
• Thomas Tuerk
• Viktor Vafeiadis (MPI-SWS)
• Keith Wansbrough (Metaswitch Networks (Data Connection Ltd))