シルヴィ・ボルド

シルヴィ・ボルド
シルヴィ・ボルド
	2006年のシルヴィ・ボルド
教育	リヨン高等師範学校、; パリ南大学
職業	数学者およびコンピュータ科学者
知られている	フランスのコンピュータサイエンスの学会の創設審査委員長

シルヴィ・ボルドはフランスの数学者、コンピュータ科学者です。彼女の研究は自動定理証明とコンピュータ演算を組み合わせたもので、浮動小数点演算とそれに基づくアルゴリズムの形式検証に重点を置いています。彼女はパリ・サクレー大学の形式手法研究所とINRIAサクレー・イル・ド・フランス研究センターに所属するフランスコンピュータサイエンスとオートメーション研究機関（INRIA）の研究ディレクターで、 ^[1]そこでは形式検証されたプログラム、認証ツール、数値計算のためのToccataプロジェクトの共同リーダーを務めています。^{[2]彼女はまた、フランスのコンピュータサイエンスの}アグレゲーションの創設審査委員長でもあります。^[3]

教育とキャリア

ボルドは2004年にリヨン高等師範学校で博士号を取得し、 ^[4] 2005年からINRIAサクレーに所属しています。^[5]彼女は2014年にパリ南大学で学位論文「演繹的形式検証：浮動小数点プログラムを動作させる方法」で博士号を取得しました。^[6]

2021年、フランスはコンピュータサイエンスのアグレガシオンを開始し、ボルド氏をその初代審査員長に選出した。^[3]

ボルドは以下の本の著者です:

コンピュータ算術と形式的証明：Coqシステムによる浮動小数点アルゴリズムの検証（Guillaume Melquiondとの共著、ISTE Press / Elsevier、2017年）^[7]
リセにおける科学情報の紹介(Dowek、Archambault、Baccelli、Bouhinou、Cegielski、Clausen、Guessarian、Lopes、Mounier、Nguyen、Quessette、Rasse、Rozoy、Timsit、Viéville、Vincent、CRDP と共著)パリ、2011)

^ 「メンバー」、形式手法研究所、フランス国立科学研究センター (CNRS) 、 2021 年 9 月 13 日閲覧
^ 「チームメンバー」、トッカータプロジェクト、フランス情報科学・自動化研究所（INRIA）、 2021年9月13日閲覧
^ ab シルヴィ・ボルドが初のコンピュータサイエンス集団の会長に任命される、フランス情報科学・自動化研究所（INRIA）、2021年6月30日、 2021年9月13日閲覧
^ 「Sylvie Boldo」、IEEE Xplore 、 2021年9月13日閲覧
^ 「Sylvie Boldo」、ORCID 、 2021年9月13日閲覧
^ Boldo, Sylvie (2014)、演繹的形式検証: 浮動小数点プログラムを正常に動作させる方法 (論文)、パリ南大学、 2021年9月13日取得– HAL経由
^ コンピュータ算術と形式的証明のレビュー：Manfred Kerber、Zbl 1385.68001; Pavel S. Pankov、MR 3729304