We are honored to work with leaders across industries in Europe and the US from visionary organizations:



Every year, the French-American Foundation (FAF) organizes in Washington DC a private seminar under the Chatham House rule with top US and French officials (Defense, Intelligence, Justice, Homeland Security), CEOs, and experts including:

  • French General Officer for Cyber Defense
  • USA Cyber Command & Head of NSA
  • Current NATO SACT1
  • Security Director of Airbus Group
  • Senior officials from FBI, INTERPOL, Homeland Security, Interior Ministry

BIG co-founders Aurélie Beaumel and Thomas Dillig were topic experts in the Steering Committee and featured speakers at the seminar in 2017.

General (ret) Jean-Paul Paloméros
Former Chief of French Air Force and NATO Supreme Allied Command Transformation
President of the Steering Committee, Cyber Security Conference, French-American Foundation
‘‘With regard to the competence, availability, ability to explain, and discretion of Aurélie Mei-Hoa Beaumel and Thomas Dillig, I can only highly recommend their company BIG for projects requiring intellectual depth, analyses, and training in cyber security for all levels, whether top executives, middle management, or operational teams.’’

‘‘Aurélie and Thomas possess the rare quality of perfectly mastering the technical aspects of complex information systems and at the same time being able to pinpoint the key security issues and challenges related to their use, at all levels of organizations. This includes top decision makers [...] military leaders, CEOs, members of Executive Committees), as well as experts across business functions, operational teams, and end-users.’’

‘‘I had the opportunity to work with these two experts in the context of a very high-profile bilateral French-American committee on cyber security including the Director of the NSA, the Responsible Officer for Cyber Security of the French Armies, directors and executives of cyber security for large industrial groups...’’

‘‘Throughout this work that lasted about a year, I appreciated their availability and responsiveness, listening skills, and goal-driven attitude [...] They performed this duty to the greatest satisfaction of all participants who emphasized the high quality of the final report and the proposals they put forth.’’


Research project funded by the US Defense Advanced Projects Research Agency to develop new technologies to formally prove the memory safety of commonly used open-source applications. The objective was to prevent entire categories of exploits from working on the proven applications.

In partnership with MIT, BIG developed an innovative approach to comprehensively model computer programs using an AI1 technique called SMT2. BIG provided expertise and advice to MIT researchers on how to develop and use formal methods and cutting-edge techniques for static analysis to improve the security and resilience of widely-used server software.

Dr. Martin Rinard, Professor  (MIT)
Computer Science and Artificial Intelligence Laboratory
Recipient of multiple prestigious scientific awards
‘‘Program analysis is one of the most challenging research areas in computer science [...] It requires expertise in a range of areas - [...] deep insight into the interaction between the software, the analysis, and the properties to be verified, impeccable mathematical reasoning skills [...] and strong software implementation skills. Dr. Dillig’s research produced multiple internationally known results, published in the top publication outlets [...] [and that] established his position at the very top of the field...’’

‘‘One of Dr. Dillig’s notable results centers around the formulation of complex software security properties using satisfiability modulo theories (SMT) solvers. [...] [He] applied this approach to the problem of finding certain classes of security vulnerabilities [...] [His results] significantly improved the state of the art in this important field.’’

‘‘One of the things I like about [his research to ensure the absence of software errors] is how it moves from simply pointing out the presence of errors to proactively taking actions to eliminate errors.’’

‘‘My research group at MIT had obtained a sizable [...] contract [...] I found [him] to be a model collaborator. [...] His ability to work productively with [...] the team and to communicate [...] sophisticated technical concepts quickly and efficiently contributed greatly to our ability to execute on the contract. In large part because of Dr. Dillig’s participation, the project was a success and we were very happy with the collaboration.’’


Invitation-only seminar on Quantum Computing for high-level executives in Paris. One-hour presentation explainig the core of quantum computing, current results, theoretical limits and applications to a general audience.

Senior Excutives (anonymous)
‘‘A very rational view on Quantum Computing which really differs from the buzz we are currently earing about it. Very enlightening presentation of the topic’’

‘‘As a lay person in quantum mechanics and computing, i felt totally fascinated by both the presentation & the speakers. Very sensible and very often philosophical questions behind this revolution to come in the near future. I specially enjoyed the obvious linking you highlighted in between existential questions and the applications of quantum potential, i also liked the presentation in itself ie : clear and simple yet precise without any unwise / reckless speculations. Finally, the alternance of men / women is very agreeable to listen to.’’