|
James Worrell Professor of Computer Science Department of Computer Science, University of Oxford Fellow of Green Templeton College |
|
|
Office: 416 Wolfson Building Address: Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK Tel: +44 (0)1865 273 843 / Fax: +44 (0)1865 273 839 Email: jbw_at_cs.ox.ac.uk |
Research:
Modeling, analysis, and verification of real-time, probabilistic, and infinite-state systems.
Publications (See also my DBLP entry)
Program Committees
The 39th International Colloquium on Automata, Languages and Programming (ICALP 2012)
Teaching
Michaelmas 2011: Probability and Computing
Hilary 2011: Advanced Data Structures and Algorithms
Graduate Students
Mark Jenkins
Rastislav Lenhardt
Ventsislav Chonev
Miscellaneous
A trip to the zoo