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.

The people behind DiffBlue

  • daniel-kroening
    Daniel Kroening
    CEO
  • peter-schrammel
    Peter Schrammel
    CTO
  • vojtech-forejt
    Vojtech Forejt
    Managing Director
  • barnaby-martin
    Barnaby Martin
    Chairman
  • lilly-bussmann
    Lilly Bussmann
    Board Member
  • cristina-david
    Cristina David
    Research Engineer
  • anna-simpson
    Anna Simpson
    Personal Assistant
  • césar-rodríguez
    César Rodríguez
    Research Engineer
  • daniel-poetzl
    Daniel Poetzl
    Research Engineer
  • dario-cattaruzza
    Dario Cattaruzza
    Research Engineer
  • darren-royle
    Darren Royle
    Software Engineer
  • eugene-goldberg
    Eugene Goldberg
    Research Engineer
  • fotis-koutoulakis
    Fotis Koutoulakis
    Software Engineer
  • ian-norris
    Ian Norris
    Designer
  • james-wilson
    James Wilson
    Product Manager
  • jamie-munro
    Jamie Munro
    Software Engineer
  • jan-mroczkowski
    Jan Mroczkowski
    Software Engineer
  • joel-allred
    Joel Allred
    Software Engineer
  • john-bergqvist
    John Bergqvist
    Software Engineer
  • kurt-degiorgio
    Kurt Degiorgio
    Research Engineer
  • alessandro-abate
    Alessandro Abate
    Technical Advisor
  • lucas-cordeiro
    Lucas Cordeiro
    Research Engineer
  • marcelo-sousa
    Marcelo Sousa
    Research Engineer
  • marek-trtik
    Marek Trtik
    Research Engineer
  • martin-brain
    Martin Brain
    Research Engineer
  • matthias-gudemann
    Matthias Güdemann
    Research Engineer
  • nathan-phillips
    Nathan Phillips
    Software Engineer
  • olusegun-adewusi
    Olusegun Adewusi
    QA Engineer
  • owen-jones
    Owen Jones
    Software Engineer
  • pascal-kesseli
    Pascal Kesseli
    Research Engineer
  • pete-west
    Pete West
    Software Engineer
  • ben-wunderlich
    Ben Wunderlich
    Software Engineer
  • rabia-marzhiya
    Rabia Marzhiya
    QA Engineer
  • rajdeep-mukherjee
    Rajdeep Mukherjee
    Research Engineer
  • reuben-thomas
    Reuben Thomas
    Software Engineer
  • romain-brenguier
    Romain Brenguier
    Research Engineer
  • sara-sampaio-cruz
    Sara Sampaio Cruz
    SCRUM Master
  • thomas-kiley
    Thomas Kiley
    Software Engineer
  • vlastimil-zeman
    Vlastimil Zeman
    DevOps Engineer
  • chris-smowton
    Chris Smowton
    Research Engineer