James Worrell

Professor James Worrell

Professor of Computer Science

jbw@cs.ox.ac.uk

(0)1865 273843

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

Real-time, probabilistic and infinite-state verification

PhD in Computer Science, University of Oxford, 2001

Themes	Verification
Activities	Concurrency \| Quantitative Analysis and Verification
Projects	Model Checking Timed Systems with Restricted Resources: Algorithms and Complexity \|
Completed Projects	Automated Verification of Probabilistic Programs
Students	Ventsi Chonev Mark Jenkins Rastislav Lenhardt Lei Xu