Accueil🇫🇷Chercher

VĂ©ronique Cortier

Véronique Cortier est une informaticienne française, spécialiste des protocoles de sécurité informatique née entre 1975 et 1980.

VĂ©ronique Cortier
Biographie
Nationalité
Activité
Autres informations
Directeur de thèse
Hubert Comon (d)
Distinctions

Biographie

En , 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 , Véronique Cortier obtient son habilitation à diriger des recherches en informatique. En , 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].

RĂ©compenses

Références

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.