ヴェロニク・コルティエ

2017年、ナンシー（フランス）のヴェロニク・コルティエ

ヴェロニク・コルティエは、暗号学を専門とするフランスの数学者であり、コンピュータ科学者です。彼女の研究は、暗号プロトコルの形式検証に数理論理学を応用し、安全な電子投票システムの開発も含んでいます。また、ル・モンド紙のbinaireブログへの一連の投稿を通じて、暗号学に関する知識の普及にも貢献しています。^{[ 1 ]}彼女は、ナンシーのロレーヌ大学のロレーヌ情報処理応用研究所（LORIA）と提携し、CNRSの研究ディレクターを務めています

学歴と経歴

コルティエは1997年から2001年までカシャン高等師範学校で数学とコンピュータサイエンスを学び、修士号とアグレガシオン（学位）を取得しました。博士課程もカシャンに残り、2003年にユベール・コモンの指導の下、 「暗号プロトコルの自動検証」という論文で博士号を取得しました。2003年にフランス国立科学研究センター（CNRS）に入所し、 2009年にハビリテーション（学位）を取得し、2010年にCNRSの研究ディレクターに就任しました。^{[ 2 ]}

表彰

コルティエは、2003年にフランス情報科学協会（Société informatique de France）のジル・カーン賞を受賞しました。これは、コンピュータサイエンス分野における最優秀フランス語論文に贈られます。 ^{[ 3 ]}また、ル・モンド紙から2つ目の論文賞も受賞しました。^{[ 3 ] [ 4 ]} 2015年には、安全な電子投票システムであるBeleniosの研究により、 INRIAとフランス科学アカデミーの若手研究者賞を受賞した2人目の女性となりました。^{[ 3 ] [ 5 ]} 2022年には、 CNRSシルバーメダルを受賞しました。^{[ 6 ]}

参考文献

1. ステファニー・ドローヌ（2015年9月16日）「ブラボー・ヴェロニク！」、binaire、ル・モンド
2. 履歴書(PDF) 、 2019年10月27日閲覧
3. Véronique Cortier : インリア・フランス科学アカデミー若手研究者賞、INRIA 、 2019-10-27取得
4. “8e édition du prime Le Monde de la recherche universitaire”、Le Monde de l'Education、Le Monde (フランス語)、2005 年 1 月 26 日のオリジナルからアーカイブ
5. Poplavsky, Alexandre (2015 年 10 月 28 日)、「Nancy : la chercheuse Véronique Cortier reçoit un prix pour Sonlogiciel de vote électronique」、L'Est Républicain (フランス語)
6. メダイユ ダルジャン 2022、CNRS 、 2023-02-22取得

外部リンク

• ホームページ
• Google Scholarに索引付けされたヴェロニク・コルティエの出版物