REMS logo
Rigorous Engineering of Mainstream Systems

Faculty


Peter Sewell
Cambridge

Neel Krishnaswami
Cambridge

Jean Pichon-Pharabod
Aarhus

Ian Stark
Edinburgh

Research staff - research fellows, postdocs, PhD students, Masters students, and interns


Alasdair Armstrong

Rini Banerjee

Thomas Bauereiss

Brian Campbell
Edinburgh

Shaked Flur
Google

Angus Hammond

Nils Lauermann

David Kaloper Meršinjak

Dhruv Makwana

Kayvan Memarian

Thibaut Pérami

Christopher Pulte

Ben Simner

Vadim Zaliva



Some recent alumni: research staff


Ricardo De Oliveira Almeida
2021-2024 RA, Edinburgh

Mark Batty
2009-2015 PhD,RA
(moved to Kent)

Irina Dudina
2022-2024 RA, Edinburgh

Anthony Fox
2014-2017 SRA
(moved to ARM Research)

Thomas Fourier
2023 visiting Masters student

Jon French
2016-2019 RAst

Victor Gomes
2016-2019 RA
(moved to Google)

Kathy Gray
2012-2017 RA
(moved to Facebook)

Ohad Kammar
2013-2014 RA
(moved to OxfordEdinburgh)

Stephen Kell
2013-2018 SRA
(moved to U. KentKCL)

Gabriel Kerneis
2012-2014 RA
(moved to GoogleANSSI)

Stella Lau
2018 Intern
(moved to MIT)

Justus Matthiesen
2012-2013
(moved to Edinburgh)

Dominic Mulligan
2012-2017 RA
(moved to ARM ResearchAWS)

Hannes Mehnert
2015-2017 RA
(moved to robur.io)

Kyndylan Nienhuis
2013-2021 PhD,RA

Robert Norton-Wright
2015-2020 RA
(moved to MSR)

Mete Polat
2023 visiting Masters student

Thomas Sewell
2020-2024 SRA
(moved to UNSW Sydney)

Ali Sezgin
2013-2016 RA

Ben Stokes
2023 summer intern

Kasper Svendsen
2015-2017 DFF

Thomas Tuerk
2013 RA
(moved to FireEye)

Mark Wassell
2016-2021

Conrad Watt
PhD, RF
(moved to NTU Singapore)



Earlier alumni

For others involved in the earlier REMS Programme Grant, see the list there.

PhD Students

Other research staff