James Worrell

James Worrell is a Professor of Computer Science at the University of Oxford, affiliated with Green Templeton College. He holds a prestigious UKRI Fellowship (equivalent to an ERC Advanced Grant) and an EPSRC Established-Career Fellowship. His research focuses on logic in computer science, linear dynamical systems, and automated verification, with applications to formal methods and decision procedures.

He has held leadership roles on program committees for major conferences including POPL, CONCUR, FoSSaCS, and ICALP. Notable invited talks include the CRM Workshop on Fluid Dynamics and the MOD23 Summer School in Formal Verification. He currently advises PhD students like Julian D’Costa and collaborates with postdocs Bertrand Teguia and Jakub Konieczny.

His research investigates decidability questions in linear systems, recurrence sequences, and matrix semigroups. He has pioneered techniques combining o-minimal geometry, automata theory, and model checking to analyze dynamical systems. Recent work addresses transcendence properties of numerical sequences and robustness in machine learning models.

Awards include ERC and UKRI funding recognitions. He teaches advanced courses on logic and proof, automata theory, and computational learning theory at Oxford, with lecture materials available online. His work bridges theoretical computer science with applications in safety-critical systems and formal verification.