Véronique Cortier is CNRS research director at Loria (Nancy, France). In 2003, she received her Ph.D. degree in Computer Science from the École Normale Supérieure de Cachan, from which she graduated.
Her research focuses on formal verification of security protocols, in particular e-voting, using formal techniques such as first order logic or rewriting.
She has co-authored more than 80 publications on these topics. She is editorial member of TISSEC, JCS, and FnT in Security and Privacy and member of the steering committee of CSF and POST.
She was chair of chair of HotSpot 2016, co-chair of Post 2020, E-Vote-ID 2019 and 2018, FMA 2014, CSF 2012, SECCO 2010, FCS-PrivMod 2010 and FCS 2009.
In 2010, she was awarded an ERC starting grant and in 2015, she received the INRIA – Académie des Sciences young researcher award. She received the PhD thesis Award 2004 from Le Monde and the PhD thesis Award 2003 from SPECIF.