Patricia Mouy

Après une thèse au CEA en 2007 sur l’analyse concolique de code C, Patricia étudie la combinaison d’analyses formelles statique et dynamique. Après 1 an comme experte validation en méthodes B sur l’automatisation de métro chez Siemens, elle rejoint de nouveau le CEA pour travailler sur le test et la preuve de logiciels synchrones et sur le développement d’un solveur SMT dédié aux calculs flottants. Elle s’intéresse ensuite particulièrement à l’application des méthodes formelles pour la sécurité. Ce qui l’amène naturellement à rejoindre l’ANSSI en 2018 comme experte méthodes formelles et analyse de code pour la sécurité dans la sous direction expertise.
Fin 2022, elle ré-intègre le CEA-List en tant que responsable du laboratoire Sûreté et Sécurité des logiciels, une équipe de 70 chercheurs travaillant sur l’analyse formelle de code source, de code binaire, de logiciel quantique et sur la confiance des systèmes d’IA. En parallèle, elle coordonne l’ensemble des activités cybersécurité du CEA-List allant du logiciel, au chiffrement avancé en passant par la sécurité des réseaux.
Elle est également copilote de l'un des projets de cybersécurité du PEPR (SecurEval sur l'évaluation de la sécurité des logiciels dans le contexte de la certification).