MobilityReadingGroup

π-calculus, Session Types research at Imperial College

News

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

2016
2015