conf.researchr.org / Nobuko Yoshida
Registered user since Fri 17 Mar 2023
Name:Nobuko Yoshida
Country:United Kingdom
Affiliation:University of Oxford
Personal website: http://www.mrg.cs.ox.ac.uk
Research interests:Theory of Computing, Concurrency, Type Theory, Programming Langages, Distributed Systems
Contributions
2025
SPLASH
2024
ECOOP
2023
ST
- Committee Member in Organizing Committee within the ST30-track
- Author of Benchmarks for Multiparty Session Types within the ST30-track
- Author of Beyond Types for Dyadic Interaction within the ST30-track
- Author of Asynchronous and Synchronous Mixed Sessions within the ST30-track
- Author of The Concurrent Calculi Formalisation Benchmark within the ST30-track