π-calculus, Session Types research at Imperial College
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.
» moreThe Kohei Honda Prize for Distributed Systems at QMUL was awarded to Alhamza Alnaimi for the project titled ‘Near Real-time Distributed Temporal Graph Processing’.
The Kohei Honda Prize for Distributed Systems at QMUL was awarded to Reza Abedian (QMUL) and Tian Yang (QMUL) for 2015.
The Kohei Honda Prize for Distributed Systems at QMUL was awarded to Filippo Charuttini (QMUL) and Joana Vasileva (QMUL) for 2014.
The Kohei Honda Prize for Distributed Systems at QMUL was established and awarded to Mr Valdmir Negacevsci (QMUL) and Ms Anna Pawlicka (QMUL).