If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

I am interested in program synthesis techniques and their applications, particularly the use of synthesis to increase the scalability of verification.


BA Electrical and Electronic Engineering - Cambridge 2010
MEng Electrical and Electronic Engineering - Cambridge 2011
DPhil Computer Science - Oxford 2020


Dive into the research topics where Elizabeth Polgreen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or