About
Nobuko Yoshida is a Professor in the Department of Computer Science at the University of Oxford. Her research centers on theoretical foundations of concurrent and distributed systems, with a focus on type theory and programming languages.
- Affiliation: University of Oxford
- Research Interests: Theory of Computing, Concurrency, Type Theory, Programming Languages, Distributed Systems
- Conference Involvement: Active in POPL, ECOOP, ICFP, OOPSLA, PPDP, and ST30 tracks
Her recent work analyzes multiparty session types, asynchronous/synchronous communication models, timed protocols, and type refinements for distributed systems. Key contributions include advancements in protocol specification, endpoint projection, and formal verification of concurrent systems.
Yoshida has authored or co-authored publications at leading venues including ECOOP, ST30, and OOPSLA. Her articles emphasize compositional reasoning for multiparty sessions, hybrid protocol designs, and robustness in distributed environments with crash-stop failures. These works intersect with subfields such as session type theory, formal verification, and specification-agnostic implementation techniques.
