• Sign in
  • Sign up
conf.researchr.org / James Worrell
  • ETAPS 2019 profile
  • POPL 2021 profile
  • SPLASH 2020 profile
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 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

Share
xWed 3 Mar 10:48
using conf.researchr.org (v1.43.1)
Support page
Sign Up