π-calculus, Session Types research at Imperial College
For the paper Compiling First-Order Functions to Session-Typed Parallel Code at CC 2020.
See here for a report.
For the POPL 2008 paper Multiparty asynchronous session types, at POPL 2018.
See here for a report.
Rumyana Neykova, EPSRC Doctoral Prize fellowship, 1st October 2017 – 30th September 2018
Dimitrios Kouzapas, EPSRC Doctoral Prize fellowship, 1st June 2014 – 31st May 2015
ETAPS Award for Kohei Honda, in Bulletin of the EATCS 112
Nicholas Ng, Runner-up, Google PhD Poster competition 2013 (Imperial College)
Rumyana Neykova, London Hopper Poster Award 2013
Raymond Hu, EPSRC Knowledge Transfer Secondment Scheme at Cognizant, 1st March 2013 – 28th Feb 2014