Regular biography
Elizabeth Polgreen is a Reader in the Department of Computer Science at The University of Edinburgh. Her research interests include areas within computer science, though specific details are not provided. She can be contacted via email at elizabeth.polgreen@ed.ac.uk, and her profile page is available at https://www.ed.ac.uk/Elizabeth_Polgreen.html.
Scholar-generated biography
Elizabeth Polgreen is a researcher at the University of Edinburgh specializing in automated verification and program synthesis. Her work focuses on developing techniques for synthesizing correct-by-construction programs and verifying their correctness using formal methods. Key areas include counterexample-guided synthesis, formal modeling, and automated formal synthesis of digital controllers for physical systems. She has contributed to the development of tools like UCLID5 and DSSynth, which support multi-modal formal modeling, verification, and synthesis. Her research also explores the integration of machine learning and symbolic methods for data-efficient verification and synthesis tasks, emphasizing the use of large language models and Bayesian approaches in program synthesis.