Joel Ouaknine

Dr Joel Ouaknine

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

themes	Verification
activities	Quantitative Analysis and Verification
projects	CSP Model Checking \| Model-Checking for Timed Systems
students	Ed Blakey \| Christoph Haase \| Maneesh Khattri \| Hristina Palikareva

Wolfson Building, Parks Road, Oxford OX1 3QD