Scheme: Wolfson Research Merit Awards
Organisation: University of Oxford
Dates: Oct 2013-Sep 2018
Summary: This research project is about enabling computers to understand their own programming, applying techniques from program analysis and automated reasoning. This will let programmers build better IT systems, which are more reliable while achieving a more competitive price point. A particularly challenging aspect of software programs is simultaneous execution of multiple parts of the software, called concurrency. We are now able to better identify situations in which such software would get stuck, and makes the computer "hang".
A company, Diffblue, has been founded, based on research outcomes of this award, which now employs 20 researchers.