University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

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:

People

Contact for Activity

Head of Activity

Faculty

Research

Students

Administration

Past Members

Doina Bucur
Personal photo - Radu Calinescu
Radu Calinescu
Personal photo - Milan Ceska
Milan Ceska
(Faculty of Informatics, Masaryk University, Brno, Czech Republic)
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

Links

Main web site

Info

Current projects

Completed projects

Themes

SHARE THIS: