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.

Qualifications

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

Fingerprint

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

Network

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