Short Bio
This page provides a short bio for use in talk introductions and event programmes.
Short version (2–3 sentences)
Elizabeth Polgreen is a Reader in the School of Informatics at the University of Edinburgh, and a Royal Academy of Engineering research fellow. Her research focuses on formal and machine learning-based program synthesis techniques and their application to scalable software and hardware verification. She completed her PhD at the University of Oxford and was a postdoctoral researcher at the University of California, Berkeley.
Longer version
Elizabeth Polgreen is a Reader (Associate Professor) in the School of Informatics at the University of Edinburgh, and a Royal Academy of Engineering research fellow. Her research focuses on formal and machine learning-based program synthesis techniques and their use in increasing the scalability of software and hardware verification. Recent projects include synthesis-based approaches to tensor program optimisation, hardware specification mining, and the use of large language models to guide program synthesis.
Previously, Elizabeth was a postdoctoral research scholar in Professor Sanjit Seshia's group at the University of California, Berkeley. She completed her PhD at the University of Oxford, supervised by Professor Alessandro Abate, and her undergraduate degree at the University of Cambridge.
