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 co-founder, 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.

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.

Diffblue’s first product, Diffblue Cover, improves developer productivity by using AI to write tests for Java applications. Diffblue Cover is used by leading companies to increase the quality of core applications and more quickly make changes and improvements. Recently, Diffblue released a case study illustrating how Goldman Sachs has saved over a year of manual effort by using Diffblue Cover to generate tests for one of their legacy applications.

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.


Mathew Lodge


Mathew has over twenty-five years of experience in the software industry in developer, product and marketing roles. Before joining Diffblue, his titles included SVP at Anaconda and Vice President of Cloud Services at VMWare. In each role, his focus is on building and marketing products that customers love.


Daniel Kroening

Co-founder & Chief Scientist

Daniel is Chief Scientist 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

Head of Product

AK is the Head of Product at Diffblue. 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.