연구실 목록
Nobuko Yoshida 교수 연구 프로필
옥스퍼드 대학교 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
Prof. Nobuko Yoshida at University of Oxford Department of Computer Science lists Programming Languages as their registered research area.
연구 키워드
Programming Languages
최근 논문
- What is a Good Projection?: Correctness and Separation Results of End-Point Projections새 논문프리프린트arXiv (Cornell University) · 10월 20일
- On Asynchronous Multiparty Session Types for Federated Learning새 논문Theoretical Computer Science · 10월 1일
- Top-Down = Bottom-Up: Sound and Complete Characterisations of Liveness by Multiparty Global ProtocolsProceedings of the ACM on Programming Languages · 10월 1일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Nicholas Lane 교수 연구실
케임브리지 대학교 · 컴퓨터과학기술학과
Extracting Forgotten Prompts from Targeted Unlearned Models프리프린트arXiv (Cornell University) · 9월 3일겹치는 주제: Privacy-Preserving Technologies in Data
Roberto Bondesan 교수 연구실
임페리얼 칼리지 런던 · 컴퓨터학과
Encryptability As a Coordinate Choice: Depth-One Homomorphic Federated Learning of Quantum Neural Networks프리프린트arXiv (Cornell University) · 9월 24일겹치는 주제: Privacy-Preserving Technologies in Data
Azalea Raad 교수 연구실
임페리얼 칼리지 런던 · 컴퓨터학과
A Formal Account of the Wasm 3.0 Concurrency ModelProceedings of the ACM on Programming Languages · 10월 1일겹치는 주제: Logic, programming, and type systems
같은 학과의 다른 연구실
- 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