Loading article…
サンドリーン・ブラジは、コンパイラの形式検証の研究、特に「機械的に正しさが証明された初の産業用コンパイラ」であるC99の大規模なサブセット用のコンパイラであるCompCertの開発者としての業績で知られるフランスのコンピュータ科学者です。 [1]彼女はレンヌ大学の教授であり、レンヌ大学とフランス国立科学研究センターのInstitut de recherche en informatique et systèmes aléatoires（IRISA）の副所長です。
教育とキャリア
ブラジは、国立高等情報処理学校（ENSIIE）とソルボンヌ大学で学部生としてコンピュータサイエンスを学び、1990年にENSIIEで工学の学位を、ソルボンヌ大学で修士号を取得した。1993年に博士号を取得し、2008年にエヴリー・ヴァルデソンヌ大学で博士号を取得した。[2]
彼女は1994年から2009年までENSIIEの講師を務め、その後レンヌ大学の教授として現在の職に就きました。2021年にIRISAの副所長に就任しました。[2]
認識
Blazyは、CompCertへの取り組みにより、2021 ACMソフトウェアシステム賞[1]と2022 ACM SIGPLANプログラミング言語ソフトウェア賞[3]の2度にわたり、計算機協会から表彰されたソフトウェア開発者グループの一員でした。
2023年、ブレイジーはCNRSシルバーメダルを受賞した。[4]
参考文献
- ^ ab 「Mrs Sandrine Blazy」、受賞者、ACM 、 2023年3月7日閲覧
- ^ ab 履歴書(PDF)、 IRISA 、2023-03-07取得
- ^ プログラミング言語ソフトウェア賞、ACM SIGPLAN 、 2023年3月7日取得
- ^ Sandrine Blazy（フランス語）、フランス国立科学研究センター、2023年3月7日閲覧
外部リンク
- ホームページ
- Sandrine Blazy の出版物がGoogle Scholarによってインデックス付けされています