Joel Ouaknine

Professor Joel Ouaknine

Professor of Computer Science

Fellow, St John's College

Wolfson Building, Parks Road, Oxford OX1 3QD

Links

Themes	Verification
Activities	Quantitative Analysis and Verification
Projects	Quantitative Verification: From Model Checking to Model Measuring \| Verification of Shared-Memory Concurrent Software \| Noninterference and covert channel analysis
Completed Projects	Automated Verification of Probabilistic Programs \|
Students	Ed Blakey Daniel Bundala Ventsi Chonev Hsi-Ming Ho Maneesh Khattri Vincent Nimal Hristina Palikareva