MEng student, Zak Cutner, awarded Microsoft Prize and Distinguished Project award.
Nobuko Yoshida, with Francisco Ferreira and Adam D. Barwell, conducted an interview with the CONCUR Test-of-Time Award winners, Uwe Nestmann and Benjamin C. Pierce. The full interview can be found here
Eva passed her viva today, congratulations Dr. Graversen!
Professor Nobuko Yoshida has been chosen to receive a Suffrage Science award, celebrating the achievements of women in STEM.» more
The paper ‘Compiling First-order Functions to Session-Typed Parallel Code’, by David Castro-Perez and Nobuko Yoshida, has won the best paper award at the 29th ACM SIGPLAN International Conference on Compiler Construction.» more
The paper ‘Language primitives and type discipline for structured communication-based programming’ by Kohei Honda, Vasco T. Vasconcelos and Makoto Kubo, has received the ETAPS 2019 Test-of-Time Award.» more
The paper ‘A fully abstract game semantics for general references’ by Samson Abramsky, Kohei Honda and Guy McCusker, has received the LICS Test-of-Time Award.» more
Francisco passed his viva today, congratulations Dr. Ferreira!
MRG members Rumyana Neykova and Nobuko Yoshida organised a successful tutorial on Improving security with reversibility and session types at the International Symposium on Code Generation and Optimization (CGO2018) in Vienna, Austria.» more