Research Fellowships 2023
Legacy code is expensive to maintain and often full of bugs. Dr Polgreen works on program synthesis, for example 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.