Joel Ouaknine

Dr Joel Ouaknine

Reader in Computer Science
Tutorial Fellow, St John's College

Room 409, Wolfson Building, Parks Road, Oxford OX1 3QD

Verification

Concurrency | Hardware Verification | Quantitative Analysis and Verification

CSP Model Checking | Model-Checking for Timed Systems | Automated Verification of Probabilistic Programs | Quantitative Verification: From Model Checking to Model Measuring

Ed Blakey  | Christoph Haase  | Maneesh Khattri  | Hristina Palikareva