About us

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, Professor 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.



Leadership team

Our leadership are passionate about making developers more productive and their companies more successful using AI for Code.


Daniel Kroening

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.


Peter Schrammel

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 Silber


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.


Jeremy Perlman

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.


Mike Mulford


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.


Anne-Kari Mannsåker

Director Labs

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.