|
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
UKRI Frontier Research Guarantee: Beyond Linear Dynamical Systems (2022-2027)
EPSRC Established-Career Fellowship: Verification of Linear Dynamical Systems (2016-2021)
Please contact me if you are interested in postdoc positions on my UKRI project
List of publications on DBLP
Program Committees
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
Michaelmas 2015: Computational Learning Theory
Trinity 2021: Logic and Proof
Some lecture notes and expository material can be found here
Current Graduate Students
Ruiwen Dong
Julian D'Costa
Pascale Gourdeau
Former Graduate Students
Ventsislav Chonev
Mehran Hosseini
Rastislav Lehardt
Antonia Lechner
Ines Marusic
Joao Sousa-Pinto
Mark Jenkins