James Worrell

Professor James Worrell

Professor of Computer Science

Deputy Head of Department (Research)

Fellow, Green Templeton College

E: jbw_at_cs.ox.ac.uk

T: Tel: (0)1865 273843

T: Fax: (0)1865 273 839

Wolfson Building, Parks Road, Oxford OX1 3QD

Themes:

• Automated Verification

Completed Projects:

• more…

See Also:

• My home page
• My DBLP entry

Interests

Real-time, probabilistic and infinite-state verification

Biography

Roles

• The 39th International Colloquium on Automata, Languages and Programming, Warwick
  Programme Committee

Selected Publications

View AllManage publications

• On Learning Polynomial Recursive Programs

  Alex Buna−Marginean‚ Vincent Cheval‚ Mahsa Shirmohammadi and James Worrell

  In Proc. ACM Program. Lang.. Vol. 8. No. POPL. Pages 1001–1027. 2024.

  Details about On Learning Polynomial Recursive Programs | BibTeX data for On Learning Polynomial Recursive Programs | DOI (10.1145/3632876) | Link to On Learning Polynomial Recursive Programs

Activities

• Concurrency
• Quantitative Analysis and Verification

Projects

• Beyond Linear Dynamical Systems

Completed Projects

• Model Checking Timed Systems with Restricted Resources: Algorithms and Complexity
• Automated Verification of Probabilistic Programs

Current Student

Past Students