Scholar
Nobuko Yoshida
Google Scholar ID: 4T-p76AAAAAJ
Department of Computer Science, University of Oxford
Programming Languages and Systems
Theoretical Computer Science
Concurrency Theory
Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,711
H-index
43
i10-index
124
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
9 items
Branching Out: Existential External Choice in Effpi
2026
Cited
0
Generating Local Shields for Decentralised Partially Observable Markov Decision Processes
2026
Cited
0
Unreliability in Practical Subclasses of Communicating Systems
2025
Cited
0
Asynchronous Global Protocols, Precisely: Full Proofs
2025
Cited
0
Relaxed Choices in Bottom-Up Asynchronous Multiparty Session Types
2025
Cited
0
Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
2025
Cited
0
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs
arXiv.org · 2024
Cited
2
Checkpoint-based rollback recovery in session programming
arXiv.org · 2023
Cited
0
Load more
Resume (English only)
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
Co-authors
0 total
Co-authors: 0 (list not available)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up