Investigators and associated faculty
Research staff (postdocs, PhD students, and research assistants)
Cambridge
Imperial |
Edinburgh |
REMS Alumni
Cambridge

Stella Lau
(moved to MIT)

Linden Ralph
Imperial
Partners and Collaborators
The industrial partners include ARM, IBM, Microsoft Research, and the FreeBSD foundation, and academic partners include INRIA (Luc Maranget, Francesco Zappa Nardelli), U. Pennsylvania (Benjamin Pierce, Stephanie Weirich, Steve Zdancewic), Purdue University (Suresh Jagannathan, Jan Vitek), and U. Texas Austin (Warren Hunt). Other collaborators include: Mike Dodds (York), Scott Owens (Kent), Tom Ridge (Leicester), Susmit Sarkar (St. Andrews), John Wickerson (Imperial).