MobilityReadingGroup

π-calculus, Session Types research at Imperial College

News

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

22 Jul 2017

Weizhen passed her viva today, congratulations Dr. Yang!

24 Jan 2017

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

23 Dec 2016

Rumyana passed her viva today, congratulations Dr. Neykova!

26 Oct 2016

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

29 Sep 2016

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

14 Sep 2016

Nick gave a talk on Static Deadlock Detection for Go at Golang UK. Details and slides of the talk can be found on the talks page.

» more

18 Aug 2016

Nick has been nominated for the 2016 PDC Reps Awards.

7 Jul 2016

The Kohei Honda Prize for Distributed Systems at QMUL was awarded to Alhamza Alnaimi for the project titled ‘Near Real-time Distributed Temporal Graph Processing’.

23 Jun 2016

Ray has been nominated for the 2016 Student Academic Choice Awards.

» more

1 Jun 2016

The Kohei Honda Prize for Distributed Systems at QMUL was awarded to Reza Abedian (QMUL) and Tian Yang (QMUL) for 2015.

6 Nov 2015

The Kohei Honda Prize for Distributed Systems at QMUL was awarded to Filippo Charuttini (QMUL) and Joana Vasileva (QMUL) for 2014.

30 Sep 2015

Nicholas passed his viva today, congratulations Dr. Ng!

22 Jan 2015

The Kohei Honda Prize for Distributed Systems at QMUL was established and awarded to Mr Valdmir Negacevsci (QMUL) and Ms Anna Pawlicka (QMUL).

17 Dec 2013

Dimitris passed his viva today, congratulations Dr. Kouzapas!

21 Jun 2013

Tzu-Chun passed her viva today, congratulations Dr. Chen!

20 May 2013

Selected publications

2017
2016
2015