James Worrell
|
Professor
James
Worrell
Professor of Computer Science
Fellow,
Green Templeton College
jbw_at_cs.ox.ac.uk
Tel: (0)1865 273843
Fax: (0)1865 273 839
Room 416, Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
Real-time, probabilistic and infinite-state verification
Biography
PhD in Computer Science, University of Oxford, 2001Links
Roles
The 39th International Colloquium on Automata, Languages and Programming, Warwick , Programme Committee
Info
|
Themes |
|
|
Activities |
|
|
Completed Projects |
Model Checking Timed Systems with Restricted Resources: Algorithms and Complexity | Automated Verification of Probabilistic Programs |
|
Current Students |
|
|
Past Student |
|
