Nobuko Yoshida

Papers

Total Citations

H-Index

About

Nobuko Yoshida is a pioneering computer scientist whose research bridges the theory of concurrent systems with practical programming languages, with a particular focus on session types and behavioural types. She is best known for developing the theory of multiparty session types, a formalism that guarantees communication safety and protocol compliance in distributed systems. Her work has fundamentally shaped how programmers reason about message-passing concurrency, enabling the static verification of communication protocols in languages like Scala, Go, and Rust. With over 10,000 citations across her career, Yoshida’s contributions have had a profound impact on both theoretical computer science and industrial practice. Her recent work extends session types to novel domains, including robotic interactions, where she introduced motion session types to formally verify the safety of concurrent robotic systems that combine message passing with physical motion primitives. A Fellow of the Royal Society and the ACM, Yoshida has received numerous awards, including an ERC Advanced Grant. Her research continues to push the boundaries of type theory, ensuring that tomorrow’s distributed and cyber-physical systems are both reliable and verifiable.