MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Prof Nobuko Yoshida
Professor of Computing
Publications

Nobuko Yoshida is Professor of Computing at Imperial College London. Last 10 years, her main research interests are theories and applications of protocols specifications and verifications. She introduced multiparty session types [ POPL'08, JACM ] which received Most Influential POPL Paper Award in 2018 (judged by its influence over the last decade). This work enlarged the community and widened the scope of applications of session types, e.g. runtime monitoring based on Scribble (co-developed with Red Hat) has been deployed to other projects such as cyberinfrastructure in the US Ocean Observatories Initiative (OOI); and widened the scope of her research areas. She was awarded CNRS and JSSP visiting fellowships and visiting professorships at Paris VI and Paris VII. She is an editor of ACM Transactions on Programming Languages and Systems, Mathematical Structures in Computer Science, Journal of Logical Algebraic Methods in Programming, and the chief editor of The Computer-aided Verification and Concurrency Column for EATCS Bulletin. Her current industry partners include: Cognizant, Estafet, J.P. Morgan, Red Hat, Weaveworks, November Group, ABB, EDF Energy, Xilinx, EPCC Ltd, Codeplay Software Ltd and Mexeler.

Department of Computing Imperial College London 180 Queen's Gate Room 556 South Kensington Campus London SW7 2AZ
  • Tel: +44(0)20 759 48240
  • Fax: +44(0)20 758 18024

Publications

2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008

Teaching

Concurrent Processes
406H Concurrent Processes
Course webpage Course details
Concurrent Programming
528 Concurrent Programming
Course webpage Course details

Editorial Works

Professional Activities

PC Members and Chairs