Skip to main content

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

Nicola Paoletti

Head of Activity


Past Members

Doina Bucur
Radu Calinescu
Milan Ceska
(Faculty of Informatics, Masaryk University, Brno, Czech Republic)
Taolue Chen
Marco Diciolla
Klaus Draeger
Lu Feng
Vojtěch Forejt
Matthias Fruth
Liz Gresham
Tingting Han
Hsi-Ming Ho
Mark Jenkins
Aleksandra Jovanovic
Mark Kattenbelt
Antonia Lechner
Rastislav Lenhardt
Ines Marusic
Alexandru Mereacre
Hongyang Qu
Aistis Simaitis
Ashutosh Trivedi
Mateusz Ujma
Björn Wachter
Dominik Wojtczak
Lijun Zhang