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.