연구실 목록
James Worrell 교수 연구 프로필
옥스퍼드 대학교 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
옥스퍼드 대학교 컴퓨터과학과 소속 James Worrell 교수의 등록된 연구 분야는 Automated Verification입니다.
연구 키워드
Automated Verification
최근 논문
- Approximate Polynomial Satisfiability is in the Counting Hierarchy프리프린트arXiv (Cornell University) · 9월 30일
- On Periodic and Aperiodic Optimal Strategies in Solvency Games프리프린트arXiv (Cornell University) · 9월 16일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Anuj Dawar 교수 연구실
케임브리지 대학교 · 컴퓨터과학기술학과
Lower Bounds for Symmetric Circuits for the DeterminantACM Transactions on Computation Theory · 8월 20일겹치는 주제: Complexity and Algorithms in Graphs
Iddo Tzameret 교수 연구실
임페리얼 칼리지 런던 · 컴퓨터학과
The Weak Rank Principle: Lower Bounds and Applications프리프린트arXiv (Cornell University) · 8월 9일겹치는 주제: Complexity and Algorithms in Graphs
Tobias Grosser 교수 연구실
케임브리지 대학교 · 컴퓨터과학기술학과
Sound and Complete Solving for Multi-width Parametric Bitvectors via Principled ReductionsProceedings of the ACM on Programming Languages · 10월 1일겹치는 주제: Formal Methods in Verification
같은 학과의 다른 연구실
- 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