Skip to content
Research Fellows Directory

Daniel Kroening

Professor Daniel Kroening

Research Fellow

Organisation

University of Oxford

Research summary

We are working on techniques that enable computers to program themselves -- this year, we have built out further demonstrators, including an application to digital control for embedded systems, such as satellites, cars and aircraft.

Results from this project are commercialised by a company, named Diffblue, which will have around 100 members of staff by the end of the year.

Grants awarded

Program Analysis with Abstract Satisfaction

Scheme: Wolfson Research Merit Awards

Dates: Oct 2013 - Sep 2018

Value: £75,000