Research output per year
Research output per year
DR
I am interested in program synthesis techniques and their applications, particularly the use of synthesis to increase the scalability of verification.
BA Electrical and Electronic Engineering - Cambridge 2010
MEng Electrical and Electronic Engineering - Cambridge 2011
DPhil Computer Science - Oxford 2020
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution