Professor James Worrell

Professor James Worrell is a Senior Research Fellow of Green Templeton College. He is Professor of Computer Science at the Department of Computer Science, University of Oxford.

James has a BA in Mathematics and a DPhil in Computer Science, both from the University of Oxford. His research focuses on computational aspects of dynamical systems, with applications to verification and program analysis. From 2016-2021 he held an EPSRC established-career fellowship Verification of Linear Dynamical Systems. In 2020 he was jointly awarded the EATCS Salomaa prize in automata theory, formal languages, and related topics.

Contact: jbw@cs.ox.ac.uk