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. She is currently an EPSRC Established Career Fellow at Imperial College London and Honorary Senior Research Fellowship of University of Glasgow. In November 2020, she was awarded a Suffrage Science Award for her work on EDI.

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 is an editorial board member of ACM Transactions on Programming Languages and Systems, ACM Formal Aspects of Computing, Acta Informatica, Journal of Logical Algebraic Methods in Programming and Mathematical Structures in Computer Science, and the chief editor of The Computer-aided Verification and Concurrency Column for EATCS Bulletin.

Her current industry partners include: Actyx AG, Barclays, Cognizant, Codeplay Software Ltd, Coveo Solutions Inc., Estafet, Google, J.P. Morgan, Microsoft, Red Hat, Weaveworks, Erlang Solutions Ltd, Quviq AB, TATA Consultancy Services, ABB, Arm, EDF Energy, Xilinx, EPCC Ltd and UltraSoC Technologies Ltd.

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