Andrew Reynolds -

Registered user since Tue 4 Jan 2022

Name:Andrew Reynolds

Country:United States

Affiliation:University of Iowa

Personal website: https://homepage.cs.uiowa.edu/~ajreynol/

GitHub: https://github.com/ajreynol

Contributions

2022

EGRAPHS

Committee Member in Program Committee within the EGRAPHS 2022-track

VMCAI

2017

VMCAI

Author of Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic within the VMCAI-track

2016

POPL

Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track