π-calculus, Session Types research at the University of Oxford
PI, University of Glasgow
Co-PI, Heriot-Watt University Edinburgh
Investigator, Imperial College London