MobilityReadingGroup

Ari Hernawan has been awarded a £5,000 runner-up prize at StEP Ignite 2025 as part of team Entangled, pitching an innovative project on quantum computing with applications in drug discovery, cybersecurity, and space exploration. Congratulations, Ari!

Seojun Lee has been awarded the Department of Computer Science Prize for Best Project in Part B with the project titled Verification of Probabilistic Distributed Protocols with Multiparty Session Types. Congratulations, Seojun!

Three papers authored by members of the department were featured at POPL 2025, the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages.
Click here to see the colum in the website of the Department of Computer Science.

The paper ‘On the Preciseness of Subtyping in Session Types’, by Tzu-Chun Chen, Mariangiola Dezani-Cianciaglini, and Nobuko Yoshida will receive the 10-Year Most Influential Paper Award at the 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024).

The paper ‘Designing Asynchronous Multiparty Protocols with Crash-Stop Failures’, by Adam Barwell, Ping Hou, Nobuko Yoshida, and Fangyi Zhou, was distinguished at the 37th European Conference on Object-Oriented Programming (ECOOP 2023).

The paper ‘Rollback Recovery in Session Based Programming’, by Claudio Antares Mezzina, Francesco Tiezzi and Nobuko Yoshida, has won the best paper award at the 25th International Conference on Coordination Models and Languages (Coordination 2023).

MEng student, Zak Cutner, awarded Microsoft Prize and Distinguished Project award.

Nobuko Yoshida, with Francisco Ferreira and Adam D. Barwell, conducted an interview with the CONCUR Test-of-Time Award winners, Uwe Nestmann and Benjamin C. Pierce. The full interview can be found here

Eva passed her viva today, congratulations Dr. Graversen!

Professor Nobuko Yoshida has been chosen to receive a Suffrage Science award, celebrating the achievements of women in STEM.