Quantitative Analysis and Verification

Oxford University Computing Laboratory

Members

Academic staff

Marta Kwiatkowska
Daniel Kroening

Research staff

Radu Calinescu
Mark Kattenbelt
Gethin Norman
Dave Parker
Tianyi Zang

Research students

Matthias Fruth

Current visitors

Kostas Chatzikokolakis
Doina Bucur
Pedro Baltazar

- Home

- Members

- Projects

- Publications

- PRISM