Véronique Cortier
Véronique Cortier är en fransk matematiker och datavetare specialiserad på kryptografi . Hennes forskning har tillämpat matematisk logik i den formella verifieringen av kryptografiska protokoll och har inkluderat utvecklingen av säkra elektroniska röstningssystem . Hon har också bidragit till den offentliga spridningen av kunskap om kryptografi genom en sekvens av inlägg på Le Mondes binaire -blogg . Hon är forskningschef vid CNRS , knuten till Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) vid University of Lorraine i Nancy .
Utbildning och karriär
Cortier studerade matematik och datavetenskap vid École normale supérieure de Cachan från 1997 till 2001, förtjänade en magisterexamen och avslutade sin agregation . Hon stannade kvar på Cachan för sina doktorandstudier och avslutade en doktorsexamen. år 2003 med avhandlingen Automatic Verification of Cryptographic Protocols under handledning av Hubert Comon. Hon gick med i det franska Centre national de la recherche scientifique (CNRS) 2003, avslutade en habilitering 2009 och blev forskningschef vid CNRS 2010.
Erkännande
Cortier var 2003 vinnare av Gilles Kahn-priset av Société informatique de France för bästa franska avhandling i datavetenskap. Hon vann också ett andra avhandlingspris, från Le Monde . 2015 blev hon den andra kvinnan att vinna INRIA och French Academy of Sciences Young Researcher Award för sitt arbete med Belenios, ett säkert elektroniskt röstningssystem. 2022 vann hon CNRS Silver Medal .
externa länkar
- Hemsida
- Véronique Cortiers publikationer indexerade av Google Scholar
| Internationell | |
|---|---|
| Nationell | |
| Akademiker | |
| Övrig | |
