Dr Elizabeth Polgreen - University of Edinburgh

Research Fellowships 2023

Legacy code is expensive to maintain and often full of bugs. Dr Polgreen works on program synthesis, in other words algorithms that can automatically synthesise code that is guaranteed to be correct. Dr Polgreen will focus on program synthesis techniques that can automatically modernise industrial legacy code. This will result in safer code and fewer tedious maintenance jobs for developers.

Personal website:

https://polgreen.github.io/