Professor and CEO

Daniel Kroening is 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. He is also the author of the CBMC verification framework. CBMC is used by Siemens, Toyota, Bosch, Blackberry, Tata Group and many more.