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.

photo_annonce

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

genevieve_fioraso

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.”.