James Worrell -

Registered user since Fri 6 Nov 2020

Name:James Worrell

Country:United Kingdom

Affiliation:University of Oxford

Personal website:http://www.cs.ox.ac.uk/people/james.worrell/home.html

Contributions

POPL 2022	Author of What’s Decidable about Linear Loops? within the POPL-track
POPL 2021	Author of Dynamical Systems and Program Analysis within the POPL-track Author of Deciding ω-Regular Properties on Linear Recurrence Sequences within the POPL-track
SAS 2020	Invited Speaker of Polynomial Invariants for Affine Programs within the SAS-track Invited Speaker in Invited Speakers within the SAS-track
FOSSACS 2019	Committee Member in Program Committee within the FOSSACS 2019-track