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 verificationBiography
PhD in Computer Science, University of Oxford, 2001Links
Info
|
Themes |
|
|
Activities |
|
|
Projects |
Model Checking Timed Systems with Restricted Resources: Algorithms and Complexity | |
|
Completed Projects |
|
|
Students |
|