Cambridge Programming Research Group
People
Staff members of the group are:
- Alan Mycroft - Professor in Computing and Fellow of Robinson College
- Tim Griffin - Lecturer and Fellow of Churchill College
- Arthur Norman - Fellow of Trinity College
- Martin Richards - Senior Lecturer and Fellow of St. John's College
External group members:
Current research students are:
- Max Bolingbroke
- Silvi Breu
- Pete Calvert
- Jukka Lehtosalo
- Robin Message
- Dominic Orchard
- Tomas Petricek
- Raphael Proust
- Charlie Reams
- Raoul-Gabriel Urma
- Janina Voigt
- Leo White
Visiting Members:
- Kathy Gray (former Research Associate)
Previous Members (please see page Alumni for links to PhD theses):
- Boris Feigin (2011)
- Jonathan Mak (2011)
- Christopher Gautier (2011)
- Cosmin Oancea (PostDoc)
- Mark Adcock (2009)
- Sofiane Naci
- Anton Lokhmotov (2008) (ARM)
- Benjamin Rudiak-Gould
- Tom Stuart
- Richard Thrippleton
- Dana Xu (2008)
- Peter Buchlovsky - Semantics of effects in programming languages
- Charuwalee Huadmai
- Jacqueline McQuillan (visited 2006/07)
- Umar Janjua
- Viktor Vafeiadis (2007)
- Martin Vechev (2007) - IBM Research
- Alan Lawrence (2007) - Imagination Technologies
- Sarah Thompson (2006) - NASA
- Eben Upton (2006) - Broadcom
- Jeremy Singer (2005) - University of Manchester
- Simon Frankau (2004) - Barclays Capital
- Nick Nethercote (2004) - National ICT Australia
- David Scott (2004) - Xensource
- Neil Johnson (2004) - Broadcom
- Robert Ennals (2004) - Intel Research
- Richard Sharp (2002) - Citrix Systems