Welcome Anne!

TrustInSoft is proud to welcome Anne Pacalet! Anne will contribute to develop TrustInSoft’s distinctive value proposal: the ability to deliver guarantees on the absence of the most common security flaws in software.


Anne Pacalet

Anne is an expert in cutting edge formal methods. She has been a key designer of innovative validation tools. She was involved in the design of both Caveat and Frama-C platforms. Anne also developed the capacity to master these technologies to deliver efficient validation results on industrial software.

Startup Contest


Geneviève Fioraso Minister of Higher Education and Research at the 2013 edition of the
French national competition of startup creation

TrustInSoft is a winner of the 2013 edition of the French national competition of startup creation. The Minister stated: “Je souhaite donc à ces talents d’aujourd’hui toute la réussite dans leurs projets de création d’entreprises innovantes. C’est grâce à eux que l’innovation et la recherche peuvent servir de pilier à la compétitivité et à la croissance, et que nous pourrons bâtir la France de demain.”.