Joel Ouaknine

Dr Joel Ouaknine

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

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

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