π-calculus, Session Types research at Imperial College
Estafet has published a page on their usage of the Scribble language developed in our group with RedHat and other industry partners.
» moreNick spoke at Golang UK 2017 on applying behavioural types to verify concurrent Go programs. Click more for details.
» moreOur group’s Assel, co-organised a successful Summer Codeathon for the Anita Borg Institute London chapter.
Some of our group’s members Nick and Rumi also participated in the codeathon as programming mentors.
» moreOur recent work Fencing off Go: Liveness and Safety for Channel-based Programming was summarised on The Morning Paper blog.
Mariangiola Dezani-Ciancaglini, a long-term collaborator with our group working on Session Types turns 70 today, more details here.
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#.
» moreNobuko 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.
» moreRoland Kuhn, CTO of Actyx, and one of our industry collaborators, gave a talk titled Distributed Systems vs. Compositionality at Scala World, talked about some of our works.
His slides are on slideshare.
» more