David Purser -

Registered user since Sun 3 Oct 2021

Name:David Purser

Country:United Kingdom

Affiliation:University of Liverpool

Personal website: https://www.davidpurser.net

Contributions

2026

FM

Author of History-Constrained Systems within the Research Track-track

2022

POPL

Author of What’s Decidable about Linear Loops? within the POPL-track