James Worrell

James Worrell is a Professor of Computer Science at the University of Oxford, with a focus on logic in computer science, linear dynamical systems, and automated verification. He is also a Fellow of Green Templeton College.

His research spans theoretical computer science and formal methods, including work on metric temporal logic, probabilistic semantics, and category theory. His publications address decision problems, verification of linear dynamical systems, and automata theory.

James has received the EPSRC Established-Career Fellowship for his work in linear dynamical systems verification. His recent papers include polynomial invariants, polyhedral escape problems, and skolem problem solutions.

He has advised students such as Mehran Hosseini, Pascale Gourdeau, and Ventsislav Chonev, and teaches courses like Computational Learning Theory and Logic and Proof. His work appears in venues like ICALP, LICS, and SODA.