Nobuko Yoshida
Scholar

Nobuko Yoshida

Google Scholar ID: 4T-p76AAAAAJ
Department of Computer Science, University of Oxford
Programming Languages and SystemsTheoretical Computer ScienceConcurrency TheoryVerification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,711
 
H-index
43
 
i10-index
124
 
Publications
20
 
Co-authors
0
 
Publications
15 items
Fine-grained Causal Reversibility for Asynchronous Channel-based Programming
2026
Cited
0
Mixed Choice Multiparty Session Types, Precisely
2026
Cited
0
Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models
2026
Cited
0
Top-down = Bottom-up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols
2026
Cited
0
Formally Verified Liveness with Multiparty Session Types in Rocq
2026
Cited
0
Denotational reasoning for asynchronous multiparty session types
2026
Cited
0
Branching Out: Existential External Choice in Effpi
2026
Cited
0
Generating Local Shields for Decentralised Partially Observable Markov Decision Processes
2026
Cited
0
Resume
Academic Achievements
  • 2025: Multiple papers published in top venues including POPL, ESOP, ITP, LMCS, and FSTTCS
  • 2024: Paper 'On the Preciseness of Subtyping in Session Types' awarded the 10-Year Most Influential Paper Award at PPDP 2024
  • 2023: Paper 'Rollback Recovery in Session Based Programming' won Best Paper Award at Coordination 2023
  • 2023: Paper 'Designing Asynchronous Multiparty Protocols with Crash-Stop Failures' recognized at ECOOP 2023
  • 2021: Conducted an interview with CONCUR Test-of-Time Award winners
  • 2020: Received the Suffrage Science Award celebrating women in STEM