conf.researchr.org / Elizabeth Polgreen
Elizabeth Polgreen

Not registered as user yet

Name:Elizabeth Polgreen
Country:United Kingdom
Affiliation:University of Edinburgh
Personal website:https://polgreen.github.io

Contributions

PriSC 2023 Committee Member in Program Committee within the PriSC 2023-track
VMCAI 2022 Session Chair of Program Verification (part of VMCAI 2022)
Author of Satisfiability and Synthesis Modulo Oracles within the VMCAI 2022-track