Elizabeth Polgreen

Assistant Professor, School of Informatics, University of Edinburgh, University of Edinburgh

  • Joined May 2023

Names

Elizabeth Polgreen (Preferred)

Emails

****@ed.ac.uk (Confirmed)

Personal Links

Career & Education History

Assistant Professor
School of Informatics, University of Edinburgh, University of Edinburgh (ed.ac.uk)
2020 – Present
 
Postdoc
EECS, University of California, Berkeley (berkeley.edu)
2019 – 2020
 
PhD student
Computer Science, University of Oxford (ox.ac.uk)
2016 – 2019
 
Undergrad student
Engineering, University of Cambridge (cam.ac.uk)
2007 – 2011
 

Advisors, Relations & Conflicts

No relations added

Expertise

Program synthesis
Present
 
Formal synthesis
Present
 
verification
Present