Skip to content


Daniel Kroening

Professor Daniel Kroening

Professor Daniel Kroening

Research Fellow

Interests and expertise (Subject groups)

Grants awarded

Program Analysis with Abstract Satisfaction

Scheme: Wolfson Research Merit Awards

Organisation: University of Oxford

Dates: Oct 2013-Sep 2018

Value: £75,000

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.

Was this page useful?
Thank you for your feedback
Thank you for your feedback. Please help us improve this page by taking our short survey.