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