π-calculus, Session Types research at Imperial College


25 Sep 2017 : Scribble at Estafet

Estafet has published a page on their usage of the Scribble language developed in our group with RedHat and other industry partners.

» more

22 Sep 2017 : Golang UK 2017

Nick spoke at Golang UK 2017 on applying behavioural types to verify concurrent Go programs. Click more for details.

» more

22 Jul 2017 : ABI.London Summer Codeathon

Our 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.

» more

2 Feb 2017 : Paper featured in The Morning Paper

Our recent work Fencing off Go: Liveness and Safety for Channel-based Programming was summarised on The Morning Paper blog.

24 Jan 2017 :

Weizhen passed her viva today, congratulations Dr. Yang!

23 Dec 2016 :

Mariangiola Dezani-Ciancaglini, a long-term collaborator with our group working on Session Types turns 70 today, more details here.

26 Oct 2016 :

Rumyana passed her viva today, congratulations Dr. Neykova!

29 Sep 2016 : Session Types talk at F# meetup

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

15 Sep 2016 : PWLConf @ Strange Loop 2016

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

14 Sep 2016 : Roland Kuhn at Scala World

Roland 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