Supplier Directory


Oxford, England, United Kingdom

About Diffblue

Diffblue is a world leader in AI that understands code.

Our goal is to automate all traditional coding tasks: bug fixing, test writing, finding and fixing exploits, refactoring code, translating from one language to another, and creating original code to fit specifications.

As we progress we are commercialising our blue sky research into a suite of products. Our vision is to make our products ubiquitous, and to make code safer and better and cheaper to produce. We are always looking to hire new talent.

Story of Diffblue

Diffblue was founded in the Oxford University Computer Science Department by Daniel Kroening. Daniel has brought together a team that includes some of the world’s leading experts in computer verification and machine learning.

The core technology, CBMC, was developed over 10 years and today is used throughout the embedded software industry. Diffblue’s first commercial products are now being rolled out to leading blue chip companies.


Artificial Intelligence

Recent articles by authors from Diffblue

We don't have any articles for authors from Diffblue

    Service Areas

  • Enabling technology

    Service Types

  • Products