University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Quantitative Analysis and Verification

Quantitative Analysis and Verification forms part of the Verification research theme at the Department of Computer Science, University of Oxford. Research in this area centres around the modelling, analysis and verification of complex systems, with particular emphasis on quantitative aspects such as probabilistic and real-time behaviour. This work spans both theory and practice, involving the development of formalisms, theories, algorithms and tools, and their application to real-world case studies.

Research topics include:


Contact for Activity

Head of Activity



Milan Ceska
(Faculty of Informatics, Masaryk University, Brno, Czech Republic)




Past Members

Doina Bucur
Personal photo - Radu Calinescu
Radu Calinescu
Personal photo - Taolue Chen
Taolue Chen
Personal photo - Marco Diciolla
Marco Diciolla
Personal photo - Klaus Draeger
Klaus Draeger
Personal photo - Lu Feng
Lu Feng
Personal photo - Matthias Fruth
Matthias Fruth
Personal photo - Tingting Han
Tingting Han
Personal photo - Mark Jenkins
Mark Jenkins
Personal photo - Mark Kattenbelt
Mark Kattenbelt
Personal photo - Rastislav Lenhardt
Rastislav Lenhardt
Personal photo - Anthony Widjaja Lin
Anthony Widjaja Lin
Personal photo - Hongyang Qu
Hongyang Qu
Personal photo - Aistis Simaitis
Aistis Simaitis
Personal photo - Ashutosh Trivedi
Ashutosh Trivedi
Personal photo - Dominik Wojtczak
Dominik Wojtczak
Personal photo - Lijun Zhang
Lijun Zhang


Main web site


Current projects

Completed projects