Robert N. M. Watson 교수 연구 프로필
케임브리지 대학교 · 컴퓨터과학기술학과
소개
케임브리지 대학교 컴퓨터과학기술학과 소속 Robert N. M. Watson 교수의 등록된 연구 분야는 Security, Computer Architecture, Systems and Networking, Programming Languages, Semantics and Verification입니다.
연구 키워드
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Yarin Gal 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Distillation Defenses Easily Break After Reinforcement Learning프리프린트arXiv (Cornell University) · 9월 28일겹치는 주제: Security and Verification in Computing
Yves-Alexandre de Montjoye 교수 연구실
임페리얼 칼리지 런던 · 컴퓨터학과
You Are the Trigger: Speaker-Activated Backdoors새 논문프리프린트arXiv (Cornell University) · 10월 19일겹치는 주제: Security and Verification in Computing
Sam Staton 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)Proceedings of the ACM on Programming Languages · 8월 17일겹치는 주제: Logic, programming, and type systems
같은 학과의 다른 연구실
- Alan Blackwell 교수 연구실
Human-Centred Computing, Machine Learning and Artificial Intelligence, Programming Languages, Semantics and Verification
- Alastair Beresford 교수 연구실
Security, Systems and Networking, Programming Languages, Semantics and Verification
- Alice Hutchings 교수 연구실
Security
- Amanda Prorok 교수 연구실
Machine Learning and Artificial Intelligence, Mobile Systems, Robotics and Automation
- Andreas Vlachos 교수 연구실
Natural Language Processing, Machine Learning and Artificial Intelligence
- Andrew W. Moore 교수 연구실
Systems and Networking, Computer Architecture, Machine Learning and Artificial Intelligence, Security