Véronique Cortier est informaticienne, directrice de recherche au CNRS, au sein du Laboratoire lorrain de recherche en informatique et ses applications (Loria). Ses recherches portent sur la vérification formelle de protocoles de sécurité, notamment les protocoles de vote électronique. Elle a développé, en collaboration avec d’autres chercheurs, le logiciel de vote en ligne, Belenios. En 2015, elle a obtenu le prix du jeune chercheur INRIA – Académie des Sciences et en 2022, elle a reçu la médaille d’argent du CNRS.
En dédicace vendredi 9 septembre de 14 h à 19 h :