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

Verification

The verification group at Oxford is internationally recognized as among the largest and strongest in the world. Our work spans a wide range of research, from fundamental investigations into the decidability and complexity of model checking for various types of infinite-state systems, through process calculi, logics and semantic models, all the way to practical, machine-assisted methods applicable to real-world problems and programming languages. We also have strong industrial links. Our key strengths include concurrency, abstraction, industrial-scale hardware verification, software model checking, and verification of real-time and probabilistic systems, with applications in security protocols, power management, nanotechnology, and biology. A major source of impact is the adoption by others of verification tools resulting from our research: FDR (model checker), Casper (security protocol compiler), SatAbs (SAT-based model checker for C with predicate abstraction), CBMC (bounded model checker for C) and PRISM (probabilistic model checker). All are highly cited and widely used in industrial contexts, both for research and teaching.

Recent News

Projects

EPSRC announces grants for robotics research projects

Daniel Kroening of Oxfords’ Department of Computer Science is leading research into co-ordinating groups of UAVs, which he hopes could improve the way they work when collecting data in difficult conditions, for example during a Fukushima-style disaster

More Details...

Studentships

Fully Funded DPhil Studentship associated with SRC project "Verifying Multi-Core Software"

The Verification Research Group is offering a second fully funded D.Phil studentship in Oxford University's Department of Computer Science.

More Details...

Studentships

Fully Funded DPhil Studentship associated with SRC project "HW/SW Co-Verification via Directed Trace Partitioning"

The Verification Research Group is offering a fully funded D.Phil studentship in Oxford University's Department of Computer Science

More Details...

Related seminar series

Info

Activities

Current projects

Completed projects

People

Faculty

Visitors

Research

Students

Administration

Past Members

Personal photo - Sara Adams
Sara Adams
Personal photo - Jade Alglave
Jade Alglave
Peter Boehm
Doina Bucur
Personal photo - Alastair Donaldson
Alastair Donaldson
Personal photo - Vijay D'Silva
Vijay D'Silva
Personal photo - Matthias Fruth
Matthias Fruth
Personal photo - Sergio Giro
Sergio Giro
Personal photo - Matthew Hague
Matthew Hague
Personal photo - Ziyad Hanna
Ziyad Hanna
Personal photo - Nannan He
Nannan He
Personal photo - Mark Kattenbelt
Mark Kattenbelt
Eric Kerfoot
Personal photo - Stefan Kiefer
Stefan Kiefer
Personal photo - Tomasz Mazur
Tomasz Mazur
Personal photo - Toby Murray
Toby Murray
Personal photo - Philipp Ruemmer
Philipp Ruemmer
Personal photo - Ashutosh Trivedi
Ashutosh Trivedi
Personal photo - Georg Weissenbacher
Georg Weissenbacher
Personal photo - Dominik Wojtczak
Dominik Wojtczak
Yong Xie
Personal photo - Lijun Zhang
Lijun Zhang