Research Fellows Directory
Professor Daniel Kroening
University of Oxford
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.