Véronique Cortier
Pour les articles homonymes, voir Cortier.
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
| 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 () Médaille d'argent du CNRS () Officier de l'ordre national du Mérite () |
modifier - modifier le code - modifier Wikidata
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 , 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
- 2003 : Prix Gilles-Kahn[3]
- 2004 : Prix le Monde de la recherche universitaire
- 2010 : bourse du conseil européen de la recherche (ERC Starting Grant).
- 2015 : Prix Inria - Académie des sciences du jeune chercheur[4].
- 2017 :
Chevalière de l'ordre national du Mérite[5]. - 2022 : Médaille d'argent du CNRS[6].
- 2023 :
Officière de l'ordre national du Mérite[7].
Références
- ↑ « Groupe de Travail sur la Vérification », sur LORIA (consulté le )
- ↑ Didier Vincenot, « Véronique Cortier, chercheuse nancéienne, lauréate du prix Inria – Académie des Sciences », sur LORIA, (consulté le )
- ↑ « Prix de thèse Specif (2011-1998) », sur Société informatique de France (consulté le )
- ↑ « Véronique Cortier : Prix Inria - Académie des sciences du jeune chercheur », sur Inria (consulté le )
- ↑ Décret du 2 mai 2017 portant promotion et nomination.
- ↑ « Médaille d’argent du CNRS 2022 », sur CNRS, (consulté le )
- ↑ Décret du 2 juin 2023 portant promotion et nomination dans l'ordre national du Mérite.
Liens externes
- Ressources relatives à la recherche
: - Canal-U
- Digital Bibliography & Library Project
- Dimensions
- Geförderte Projekte Informationssystem
- Google Scholar
- Mathematics Genealogy Project
- Notices d'autorité :
- VIAF
- IdRef
- LCCN
- Israël
- WorldCat
- Sa page sur le site du LORIA
- Le vote électronique en question
Portail de l’informatique 
Portail de la France
