University of Oxford Logo University of OxfordDepartment of Computer Science - Home
James Worrell 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

      Modeling, analysis, and verification of real-time, probabilistic, and infinite-state systems
      Publications (See also my DBLP entry)

Program Committees
      8th International Workshop on Reachability Problems (RP 2014)
      17th Conference on Foundations of Software Science and Computation Structures (FOSSACS 2014)
      25th International Conference on Concurrency Theory (CONCUR 2014)

      Michaelmas 2013: Probability and Computing
      Hilary 2014: Logic and Proof

Graduate Students
      Antonia Lechner
      Ines Marusic
      Joao Sousa-Pinto
      Ventsislav Chonev

      Tulip: model checking LTL on interval Markov chains.