People
The people currently researching resource reasoning in London, Cambridge and Oxford include:
- Jade Alglave
- Josh Berdine
- Richard Bornat
- James Brotherston
- Cristiano Calcagno
- Byron Cook
- Pedro da Rocha Pinto
- Thomas Dinsdale-Young
- Dino Distefano
- Mike Dodds
- Carsten Fuhs
- Philippa Gardner
- Nikos Gorogiannis
- Radu Grigore
- Akbar Hussain
- Samin Ishtiaq
- Max Kanovich
- Eric Koskinen
- Sergio Maffeis
- Juan Antonio Navarro Péz
- Kaustubh Nimkar
- Gian Ntzik
- Peter O'Hearn
- Matthew Parkinson
- Rasmus Petersen
- Azalea Raad
- Noam Rinetzky
- Mark Schellhase
- Gareth Smith
- Abhishek Thakur
- Thomas Tuerk
- Jules Villard
- Mark Wheelhouse
- John Wickerson
- Adam Wright
- Hongseok Yang