Elizabeth Polgreen

| CV | Publications | Slides | GitHub |

Elizabeth Polgreen

I will be joining the School of Informatics in the University of Edinburgh as a Lecturer (roughly equivalent to Assistant Professor in US terminology) in 2020/21.


I am currently 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.


Previously, 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 as an SDE intern at Amazon Web Services.


Contact me at epolgreen{at}berkeley.edu.