fr V%C3%A9ronique Cortier

Fonction
Directrice de recherche au CNRS
Nationalité	française
Activités	Informaticienne, chercheuse
Directeur de thèse	Hubert Comon (d)
Distinctions	Prix Inria – Académie des sciences du jeune chercheur (2015); Médaille d'argent du CNRS (2022); Officier de l'ordre national du Mérite (2023)

Cet article est une ébauche concernant une personnalité française, l’informatique et la sécurité informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Véronique Cortier est une informaticienne française, spécialiste des protocoles de sécurité informatique née le 31 Mars 1978 à Troyes.

Biographie

En mars 2003, Véronique Cortier soutient une thèse de doctorat en informatique à l'école normale supérieure Paris-Saclay intitulée Vérification automatique des protocoles cryptographiques. La même année, elle entre au Centre national de la recherche scientifique (CNRS) comme chargée de recherche au laboratoire lorrain de recherche en informatique et ses applications (LORIA). En novembre 2009, Véronique Cortier obtient son habilitation à diriger des recherches en informatique. En octobre 2010, elle devient directrice de recherche au CNRS. Elle est également membre du comité de pilotage du groupe de travail sur la vérification, au sein du Groupement de recherche Informatique Mathématique (GRD-IM)^[1]. Ses recherches portent sur la vérification automatique de programmes, notamment les protocoles de sécurité sur les réseaux informatiques, à l'aide de modèles formels comme la logique du premier ordre ou la réécriture. Elle a conçu, en collaboration avec d'autres chercheurs, le logiciel de vote électronique open source Belenios^[2].