James Worrell

Dr James Worrell

University Lecturer

jbw@comlab.ox.ac.uk
(0)1865 273843

Wolfson Building, Parks Road, Oxford OX1 3QD

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 \| Automated Verification of Probabilistic Programs
student	Mark Jenkins