Elizabeth Polgreen

| CV | Publications | Slides | GitHub |

Elizabeth Polgreen

I am a postdoctoral research scholar in Professor Sanjit Seshia's group at the University of California, Berkeley. I am interested in program synthesis techniques and the use of synthesis to increase the scalability of verification.

I completed my PhD at the University of Oxford, supervised by Professor Alessandro Abate. My PhD research focuses on extending the capabilities of program synthesisers to be able to synthesise programs without the need for syntactic templates. My thesis is available here

I received an MEng and BA in Electrical and Electronic Engineering from the University of Cambridge.

I have worked as an electronics and software engineer for EG Technology and Peach Innovations and completed internships at Amazon Web Services.

Contact me at epolgreen{at}berkeley.edu.