Véronique Cortier
Activités
Je suis chercheuse en informatique, dans le domaine de la sécurité et de la vérification formelle. Je m’intéresse en particulier aux protocoles cryptographiques, des programmes consistant à sécuriser les communications sur Internet. Ces protocoles permettent par exemple de payer en ligne, de s’authentifier à un site distant, voire de voter.
Mon travail consiste à concevoir des algorithmes permettant de prouver la sécurité de ces protocoles ou, le cas échéant, de détecter des failles.
Votre vécu en tant que femme
Des parcours non linéaires pénalisés
Des efforts peuvent encore être menés pour l’égalité femmes-hommes pour l’obtention de promotions, par exemple. Il n’y a pas de discriminations à proprement parler (du moins, je n’en ai pas été témoin) mais les parcours non linéaires sont pénalisés par rapport à des carrières plus rapides et donc estimée « plus brillantes ».
Cela explique probablement, du moins en partie, le fait que la proportion des femmes diminue encore lorsqu’il s’agit d’être promue (professeure des universités ou directrice de recherche).
Parcours
- Depuis 2010 : Directrice de recherche au CNRS – Laboratoire LORIA
- 2009 : Habilitation à diriger des recherches
- 2000-2003 : Doctorat en informatique
- 1997-2001 : Master en Mathématiques et en Informatique à l’ENS Cachan
Faits et chiffres
- 2023 : Officière de l’ordre national du Mérite
- 2022 : Médaille d’argent du CNRS
- 2020 : Prix du meilleur papier à la conférence Esorics, avec Stéphanie Delaune et Jannik Dreier
- 2015 : Prix du jeune chercheur INRIA-Académie des Sciences
- 2004 : Prix scientifique de thèse du Monde
- 100 Publications (conférences et journaux internationaux)
Crédits illustration : Jérôme Foubert