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
  • joel-ouaknine
    Joel Ouaknine
    Board Member
  • anna-simpson
    Anna Simpson
    Personal Assistant
  • daniel-poetzl
    Daniel Poetzl
    Research Engineer
  • dario-cattaruzza
    Dario Cattaruzza
    Research Engineer
  • darren-royle
    Darren Royle
    Software Engineer
  • eugene-goldberg
    Eugene Goldberg
    Research Engineer
  • james-wilson
    James Wilson
    QA and Product Manager
  • jamie-munro
    Jamie Munro
    Software Engineer
  • joel-allred
    Joel Allred
    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
  • pascal-kesseli
    Pascal Kesseli
    Research Engineer
  • pete-west
    Pete West
    Software Engineer
  • ben-wunderlich
    Ben Wunderlich
    Software Engineer
  • rajdeep-mukherjee
    Rajdeep Mukherjee
    Research Engineer
  • romain-brenguier
    Romain Brenguier
    Research Engineer
  • thomas-kiley
    Thomas Kiley
    Software Engineer
  • vlastimil-zeman
    Vlastimil Zeman
    DevOps Engineer
  • chris-smowton
    Chris Smowton
    Research Engineer
  • cristina-david
    Cristina David
    Research Engineer