ザビエル・ルロワ

ザビエル・ルロワ
2010年のリロイ
生まれる	( 1968-03-15 )1968年3月15日（56歳）
国籍	フランス語
母校	パリ・ディドロ大学
科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	コレージュ・ド・フランス インリア
論文	アルゴリズム言語の多態的型付け (1992)
博士課程の指導教員	ジェラール・ユエ

ザビエ・ルロワ（Xavier Leroy、1968年3月15日生まれ）は、フランスのコンピュータ科学者、プログラマーである。OCamlシステムの主要開発者として最もよく知られている。コレージュ・ド・フランスのソフトウェア科学教授。2018年にコレージュ・ド・フランスに就任する前は、フランス政府の研究機関であるInriaの上級科学者（研究ディレクター）を務めていた。^[1]

ルロワは1987年にパリの高等師範学校に入学し、数学とコンピュータサイエンスを学びました。1989年から1992年にかけて、ジェラール・ユエの指導のもと、コンピュータサイエンスの博士号を取得しました。

彼は関数型プログラミング言語とコンパイラーの国際的に認められた専門家です。近年、形式手法、形式証明、認定コンパイルに興味を持っています。彼は、Coqで形式検証されたC プログラミング言語の 最適化コンパイラーを開発するCompCertプロジェクトのリーダーです。

Leroy は、 Linuxバージョン2.6 ^{[ broken anchor ]}より前のバージョンで最も広く使用されていたスレッドパッケージであるLinuxThreadsのオリジナル作成者でもあります。 Linux 2.6 ^{[ broken anchor ]}では、 LinuxThreads に代わる、カーネルからのより広範なサポートを備えた NPTLが導入されました。

2015年に彼は「安全で高性能な関数型プログラミング言語とコンパイラ、およびコンパイラ検証への貢献」により、計算機協会のフェローに任命されました。 ^[2]彼は、2016年に王立協会からミルナー賞、^[3] 2021年にACMソフトウェアシステム賞、^[4] 2022年にACM SIGPLANプログラミング言語功績賞を受賞しました。

WikiquoteにXavier Leroyに関する引用句があります。

• 公式サイト