ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Nobuko Yoshida

Registered user since Sat 8 Aug 2015

Name:Nobuko Yoshida
Bio:

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 Infomatica, Journal of Logical Algebraic Methods in Programming, 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.

Country:United Kingdom
Affiliation:Imperial College London

Contributions

VORTEX 2022 Specification-Guided Hybrid Dynamic Verification for Parallel and Distributed Programming (online talk)
ECOOP 2022 Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming
Show activities from other conferences

ECOOP 2022-profile
View general profile