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

Collaborations and top research areas from the last five years

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