Joel Ouaknine

Professor Joel Ouaknine

Professor of Computer Science

Fellow, St John's College

Wolfson Building, Parks Road, Oxford OX1 3QD

Links

My home page

Recent News

Miscellaneous

Papers accepted to FoSSaCS 2012

Computer scientists from Oxford have co-authored a series of papers that have been accepted to FoSSaCS 2012 – the international conference on the foundations of software

More Details...

Info

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