People
Research Staff | ||
| Andrew Ker | (publications) | |
| Gavin Lowe | (publications) | (tools) |
| Andrew Martin | (publications) | |
| Bill Roscoe | (publications) | (tools) |
Research Students | ||
| Chris Dilloway | (publications) | |
| Jian Huang | (publications) | |
| Allaa Kamil | ||
| Toby Murray | (publications) | |
| Long Nguyen | (publications) | |
Recent Members | ||
| Michael Goldsmith | (publications) | |
| Philippa Hopcroft (Broadfoot) | (publications) | |
| Gordon Rohrmair | (publications) | |
| Eldar Kleiner | (publications) |