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

Biography

PhD in Computer Science, University of Oxford, 2001

Links

My home page

My DBLP entry

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	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