- 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)
Other research staff
- Mair Allen-Williams, 2003-2004 RAst
- Peter Boehm, 2011 RA
- Adam Biltcliffe, 2005-2006 RAst
- Steve Bishop, 2002-2004 RAst (CMR Surgical)
- Mike Dodds, 2011-2012 SRA (
University of YorkGalois) - Matthew Fairbairn, 2003-2004 RAst
- Pierre Habouzit
- Michael Norrish, 2002 RA (ANU)
- Scott Owens, 2006-12 SRA (
University of KentFacebook) - Gilles Peskine, 2007-2008 RA (Arm)
- Tom Ridge, 2005-2008 RA (
University of LeicesterAltodata) - Susmit Sarkar, 2007-2010 RA (University of St. Andrews)
- Jaroslav Sevcik, 2009-2011 SRA (Google)
- Mark Shinwell, 2005-2006 RA (Jane Street)
- Viktor Vafeiadis, 2009-2010 RA (MPI-SWS)
- Keith Wansbrough, 2000-2003 RA (Metaswitch Networks (Data Connection Ltd))