Quantitative Analysis and Verification
Oxford University Computing Laboratory
People
Staff and students
Doina Bucur
Radu Calinescu
Chris Chilton
Matthias Fruth
Lu Feng
Mark Jenkins
Mark Kattenbelt
Maneesh Khattri
Daniel Kroening
Marta Kwiatkowska
Gethin Norman
Joel Ouaknine
Dave Parker
Hongyang Qu
Ashutosh Trivedi
James Worrell
Current and recent visitors
Pedro Baltazar
Kostas Chatzikokolakis
Josée Desharnais
Michael Huth
Jorge Julvez
Vivien Maisonneuve
Ender Yuksel
Former staff and students
Tianyi Zang
>
Home
>
People
>
Projects
>
Publications
Useful links:
Concurrency, Verification & Security Seminars
PRISM