Our recent work Fencing off Go: Liveness and Safety for Channel-based Programming was summarised on The Morning Paper blog.
Weizhen passed her viva today, congratulations Dr. Yang!
Rumyana passed her viva today, congratulations Dr. Neykova!
Our group’s Masters project student Fahd Adeljallal gave a talk titled Session Types with Fahd Abdeljallal in a recent F#unctional Londoners Meetup Group meeting on his Masters project which applied Multiparty Session Types on F#.» more
Nobuko gave a talk at Papers We Love / Stange Loop 2016 on the topic of Multiparty Session Types and their Applications to Concurrent and Distributed Systems. Details and slides can be found on the talks page.» more