University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram
James Worrell James Worrell
Professor of Computer Science
Department of Computer Science, University of Oxford
Fellow of Green Templeton College
Office: 366 Wolfson Building
Address: Department of Computer Science,
Wolfson Building, Parks Road, Oxford OX1 3QD, UK
Tel: +44 (0)1865 273 843
Email: jbw_at_cs.ox.ac.uk

Research:
      Logic in computer science; linear dynamical systems; automated verification
      Beyond Linear Dynamical Systems: UKRI Fellowship (selected as an ERC Advanced Grant) (2022-2027)
      Verification of Linear Dynamical Systems: EPSRC Established-Career Fellowship (2016-2021)
      Please contact me if you are interested in postdoc positions on my UKRI project
      List of publications on DBLP

Program Committees
      35th International Conference on Concurrency Theory (CONCUR 2024)
      27th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2024)
      40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)
      48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
      22nd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2019)
      30th International Conference on Concurrency Theory (CONCUR 2019)
      Developments in Language Theory, 23rd International Conference (DLT 2019)
      17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2019)
      43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)

Invited Talks
      MOD23 Summer School in Safety and Security through Formal Verification, Marktoberdorf, August 1-12, 2023
      RTCA Workshop in Effective Aspects in Diophantine Approximation, Lyon, March 27-31, 2023
      ICALP 2023. Paderborn, July 10-14, 2023
      POPL 2021. Copenhagen (online), January 17-22, 2021
      SAS 2020. Chicago, November 18-20, 2020
      MOVEP 2020. Grenoble, June 22-26, 2019
      LICS 2019. Vancouver, June 24-27, 2019
      Highlights 2018. Berlin, Sept 18-21, 2018
      LATA 2018. Tel Aviv, April 9-11, 2018
      ISSAC 2017. Kaiserslautern, July 25-28, 2017

Teaching
      Hilary 2024: Logic and Proof
      Some lecture notes and expository material can be found here
Current Postdocs
      Bertrand Teguia
      Jakub Konieczny
      Andrew Scoones
Current Graduate Students
      Julian D'Costa
Former Graduate Students
      Ventsislav Chonev
      Ruiwen Dong
      Pascale Gourdeau
      Mehran Hosseini
      Rastislav Lehardt
      Antonia Lechner
      Ines Marusic
      Joao Sousa-Pinto
      Mark Jenkins