Scholar
Elizabeth Polgreen
Google Scholar ID: wFYhUkIAAAAJ
Lecturer, University of Edinburgh
Citations & Impact
Citations
404
H-index
12
i10-index
15
Publications
20
Co-authors
0
Publications
Cited
0
Resume (English only)
Academic Achievements
- In 2025, two papers were accepted to appear at FMCAD: 'PolyVer: a Compositional Approach for PolyGlot System Modelling and Verification' and 'Unlocking Hardware Verification with Oracle Guided Synthesis'. Another paper, 'Guess, Measure & Edit: Using Lowering to Lift Tensor Code', was accepted to PACT 2025. Additionally, part of a team awarded a $5 million grant from DARPA for the TRACTOR program. Multiple papers were also accepted at conferences such as ACL findings, PLDI, and XAI between 2024-2025, including a distinguished paper award from CGO.
Research Experience
- Was a postdoctoral research scholar in Professor Sanjit Seshia's group at the University of California, Berkeley.
Education
- Completed her PhD at the University of Oxford, supervised by Professor Alessandro Abate.
Background
- Currently a Reader (~Associate Professor in US terminology) in the School of Informatics at the University of Edinburgh. Her research interests lie in formal program synthesis techniques and using synthesis to increase the scalability of verification. She holds a research fellowship from the Royal Academy of Engineering.
Miscellany
- Personal interests or hobbies not mentioned.
Co-authors