Investigators and associated faculty

Jon Crowcroft

Philippa Gardner

Mike Gordon

Neel Krishnaswami

Anil Madhavapeddy

Simon Moore

Andrew Pitts

Peter Sewell (PI)

Ian Stark

Robert Watson

Research staff (postdocs, PhD students, and research assistants)

Cambridge

Alasdair Armstrong

Thomas Bauereiss

Angus Hammond

Alexandre Joannou

Dhruv Makwana

Kayvan Memarian

David Kaloper Meršinjak

Kyndylan Nienhuis

Jean Pichon-Pharabod

Christopher Pulte

Mike Roe

Ben Simner

Mark Wassell

Conrad Watt

Imperial Martin Bodin Andrea Cerone Petar Maksimovic Julian Sutherland Shale Xiong

Edinburgh Brian Campbell

REMS Alumni

Cambridge

Mark Batty
(moved to Kent)

David Chisnall
(moved to MSR)

Shaked Flur
(moved to Google)

Anthony Fox
(moved to ARM Research)

Jon French

Victor Gomes
(moved to Google)

Kathy Gray
(moved to Facebook)

Ohad Kammar
(moved to Oxford)

Stephen Kell
(moved to U. Kent)

Gabriel Kerneis
(moved to Google)

Ramana Kumar
(moved to NICTA)

Stella Lau
(moved to MIT)

Linden Ralph

James Lingard

Justus Matthiesen

Dominic Mulligan
(moved to ARM Research)

Hannes Mehnert
(moved to robur.io)

Magnus Myreen
(moved to Chalmers)

Matt Naylor

Robert Norton-Wright
(moved to MSR)

Ali Sezgin

David Sheets
(moved to Docker)

Kasper Svendsen

Thomas Tuerk
(moved to FireEye)

Imperial

Pedro da Rocha Pinto

Thomas Dinsdale-Young
(moved to Aarhus)

Emanuele D'Osualdo
(now a Marie-Curie fellow, IC)

Jose Fragoso Santos
(moved to Instituto Superior Técnico, Lisbon)

Daiva Naudziuniene
(moved to Facebook)

Gian Ntzik
(moved to Amadeus Systems)

Azalea Raad
(moved to MPI-SWS)

Jules Villard
(moved to Facebook)

Thomas Wood

Adam Wright

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).