Lab directory
Prof. David Parker — Research Profile
University of Oxford · Department of Computer Science
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Jul 22, 2026
About
Prof. David Parker at University of Oxford Department of Computer Science lists Automated Verification as their registered research area.
Research keywords
Automated Verification
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