Founded by the world’s leading AI and machine learning experts from University of Oxford, we’re changing the way code is developed.
Diffblue’s CEO, Profesor Daniel Kroening, is the inventor of CBMC, a framework for interpreting the meaning of code. He open sourced CBMC and it has flourished in academic and highly technical environments, used everywhere from leading cloud providers, industrial manufacturers and governments. It’s even included in the Kernel for the Linux Operating system.
Diffblue was created to make CBMC accessible for millions of developers. It was spun out of University of Oxford in 2016 and based on early customer wins and developer adoption, Diffblue received the largest AI Series A funding in 2017 - over £17m from Goldman Sachs Principal Strategic Investments and Oxford Sciences Innovation, a fund which counts Google and Tencent as investors.
Our first product is Diffblue Cover, a revolutionary product that uses our AI engine to write unit tests for Java developers automatically. We have several additional products in development in our Labs that aim to improve the productivity of developers via AI.
To meet the needs of this massive market, Diffblue is expanding rapidly. If you enjoy being at the forefront of technology and want to be part of a world leader, Diffblue may be right for you. Check out our open career opportunities.
Our leadership are passionate about making developers more productive and their companies more successful using AI for Code.
Co-founder & CEO
Daniel is CEO and co-founder of Diffblue. He has 15 years experience building software verification tools and is the primary author of the CBMC verification framework. Daniel is also a Professor of Computer Science at University of Oxford.
Co-founder & CTO
Peter is CTO and co-founder of Diffblue. He has significant experience as a software project lead in the embedded systems industry and a strong track record in program analysis. Prior to Diffblue he was an Assistant Professor of Computer Science at the University of Sussex.
Jane is Executive Chair of Diffblue. She brings valuable executive experience in growing software companies that developers love. She was previously CEO of Canonical and is currently a non-executive director at Canonical and The Sensible Code Company.
Chief Revenue Officer
Jeremy is CRO of Diffblue. He is passionate about building commercial success in early stage tech companies. Prior to Diffblue he led go-to-market activities for Ribbit (acquired by BT), Apigee (IPO, Acquired by Google) and Trifacta.
Vojech is Managing Director of Diffblue. Before finding his love for operations, he was an Associate Professor at University of Oxford focused on theoretical and applied research related to system performance and reliability.
AK leads Diffblue Labs. Prior to joining Diffblue, AK led the engineering and product development efforts of autonomous software tools, robots, and ROVs in AKOFS (acquired by Aker Solutions) and ABB. She also invested in emerging technologies at Balderton Capital.
James is Director of Software Engineering. He brings 12 years experience in testing, QA, and product development in organisations ranging from startups to global organisations.
Mike is CFO of Diffblue. Mike brings 20 years of financial experience in CFO/Finance Director roles ranging from venture capital backed start-ups through, private equity backed businesses to listed enterprises.