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


Visiting Professors


Past Members

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
Mark Jenkins
Aleksandra Jovanovic
Mark Kattenbelt
Daniel Kroening
Antonia Lechner
Rastislav Lenhardt
Anthony W. Lin
Ines Marusic
Alexandru Mereacre
Hongyang Qu
Aistis Simaitis
Ashutosh Trivedi
Mateusz Ujma
Björn Wachter
Dominik Wojtczak