Véronique Cortier


Véronique Cortier is a French mathematician and computer scientist specializing in cryptography. Her research has applied mathematical logic in the formal verification of cryptographic protocols, and has included the development of secure electronic voting systems. She has also contributed to the public dissemination of knowledge about cryptography through a sequence of posts on the binaire blog of Le Monde. She is a director of research with CNRS, associated with the Laboratoire Lorrain de Recherche en Informatique et ses Applications at the University of Lorraine in Nancy.

Education and career

Cortier studied mathematics and computer science at the École normale supérieure de Cachan from 1997 until 2001, earning a master's degree and completing her agrégation. She remained at Cachan for her doctoral studies, completing a Ph.D. in 2003 with the dissertation Automatic Verification of Cryptographic Protocols supervised by Hubert Comon. She joined the French Centre national de la recherche scientifique in 2003, completed a habilitation in 2009, and became a director of research with CNRS in 2010.

Recognition

Cortier was the 2003 winner of the of the for the best French dissertation in computer science. She also won a second dissertation prize, from Le Monde. In 2015 she became the second woman to win the INRIA and French Academy of Sciences Young Researcher Award for her work on Belenios, a secure electronic voting system.