Véronique Cortier es una matemática e informática francesa especializada en criptografía . Sus investigaciones han aplicado la lógica matemática a la verificación formal de protocolos criptográficos , y han incluido el desarrollo de sistemas seguros de votación electrónica . También ha contribuido a la difusión pública de conocimientos sobre criptografía a través de una serie de publicaciones en el blog binario de Le Monde . [1] Es directora de investigación del CNRS , asociada al Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) de la Universidad de Lorraine en Nancy .
Cortier estudió matemáticas e informática en la École normale supérieure de Cachan desde 1997 hasta 2001, donde obtuvo una maestría y completó su agrégation . Permaneció en Cachan para sus estudios de doctorado, completando un doctorado en 2003 con la disertación Verificación automática de protocolos criptográficos supervisada por Hubert Comon. Se unió al Centro Nacional de Investigación Científica (CNRS) francés en 2003, completó una habilitación en 2009 y se convirtió en directora de investigación del CNRS en 2010. [2]
Cortier fue la ganadora del Premio Gilles Kahn de la Société informatique de France en 2003 a la mejor disertación francesa en informática. [3] También ganó un segundo premio de disertación, de Le Monde . [3] [4] En 2015 se convirtió en la segunda mujer en ganar el Premio de Joven Investigador del INRIA y la Academia Francesa de Ciencias por su trabajo en Belenios, un sistema de votación electrónica segura. [3] [5] En 2022 ganó la Medalla de Plata del CNRS . [6]