profile image

Daniel Kroening

CEO of Diffblue, a world leader in AI that understands code, and professor of Computer Science at University of Oxford, UK.

CEO of Diffblue, a world leader in AI that understands code, and professor of Computer Science at University of Oxford, UK. Daniel has 15 years of experience in building software verification tools. Author of the CBMC verification framework. CBMC is used by Siemens, Toyota, Bosch, Blackberry, Tata Group and many more.
AI Will Save Us (Or At Least Correct Our

AI Will Save Us (Or At Least Correct Our Mistakes)

I'm talking about AI that talks not to humans but directly to computer programs, creating software that codes, edits and tests itself. This will ensure better software that is more secure and impervious to attack. AI could well be our savior against bad code.
17/02/2017 15:53 GMT