Prof. Nobuko Yoshida — Research Profile
University of Oxford · Department of Computer Science
About
Prof. Nobuko Yoshida at University of Oxford Department of Computer Science lists Programming Languages as their registered research area.
Research keywords
Recent papers
- What is a Good Projection?: Correctness and Separation Results of End-Point ProjectionsNewPreprintarXiv (Cornell University) · Oct 20
- On Asynchronous Multiparty Session Types for Federated LearningNewTheoretical Computer Science · Oct 1
- Top-Down = Bottom-Up: Sound and Complete Characterisations of Liveness by Multiparty Global ProtocolsProceedings of the ACM on Programming Languages · Oct 1
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Nicholas Lane 교수 연구실
University of Cambridge · Department of Computer Science and Technology
Extracting Forgotten Prompts from Targeted Unlearned ModelsPreprintarXiv (Cornell University) · Sep 3Shared topic: Privacy-Preserving Technologies in Data
Roberto Bondesan 교수 연구실
Imperial College London · Department of Computing
Encryptability As a Coordinate Choice: Depth-One Homomorphic Federated Learning of Quantum Neural NetworksPreprintarXiv (Cornell University) · Sep 24Shared topic: Privacy-Preserving Technologies in Data
Azalea Raad 교수 연구실
Imperial College London · Department of Computing
A Formal Account of the Wasm 3.0 Concurrency ModelProceedings of the ACM on Programming Languages · Oct 1Shared topic: Logic, programming, and type systems
Other labs in this department
- Aleks Kissinger 교수 연구실
Quantum Computing
- Alessandro Abate 교수 연구실
Automated Verification, Control
- Alex Rogers 교수 연구실
Systems
- Alfonso Bueno-Orovio 교수 연구실
Computational Biology, Health Informatics
- Ana Namburete 교수 연구실
Computational Biology, Health Informatics
- Andreas Galanis 교수 연구실
Algorithms and Complexity Theory