Lab directory
Prof. Marta Kwiatkowska — 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. Marta Kwiatkowska at University of Oxford Department of Computer Science lists Automated Verification, Computing Systems as their registered research area.
Research keywords
Automated VerificationComputing 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