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.[1] She is a director of research with CNRS, associated with the Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) at the University of Lorraine in Nancy.
Education and career
editCortier 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 (CNRS) in 2003, completed a habilitation in 2009, and became a director of research with CNRS in 2010.[2]
Recognition
editCortier was the 2003 winner of the Gilles Kahn Prize of the Société informatique de France for the best French dissertation in computer science.[3] She also won a second dissertation prize, from Le Monde.[3][4] 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.[3][5] In 2022 she won the CNRS Silver Medal.[6]
References
edit- ^ Delaune, Stéphanie (16 September 2015), "Bravo Véronique!", binaire, Le Monde
- ^ Curriculum vitae (PDF), retrieved 2019-10-27
- ^ a b c Véronique Cortier : Inria–French Académie des sciences Young Researcher Award, INRIA, retrieved 2019-10-27
- ^ "8e édition du Prix Le Monde de la recherche universitaire", Le Monde de l'Education, Le Monde (in French), archived from the original on 2005-01-26
- ^ Poplavsky, Alexandre (28 October 2015), "Nancy : la chercheuse Véronique Cortier reçoit un prix pour son logiciel de vote électronique", L'Est Républicain (in French)
- ^ Médailles d'argent 2022, CNRS, retrieved 2023-02-22
External links
edit- Home page
- Véronique Cortier publications indexed by Google Scholar