Loading article…
ナタリー・レヴォル(1967年生まれ)[ 1 ]は、浮動小数点演算や区間演算を含むコンピュータ算術の研究で知られるフランスのコンピュータ科学者です。彼女は、フランス国立情報学研究所(INRIA)の研究員であり、リヨン高等師範学校の並列情報学研究所の算術および計算プロジェクトに関わっています。
レヴォルは1987年から1990年までグルノーブル国立高等情報数学応用科学学校(ENSIMAG)でコンピュータサイエンスを学び、1990年に工学の学位を取得した。1989年から1990年まで、グルノーブルのジョセフ・フーリエ大学で応用数学も学び、 1990年に高等研究修士号を取得した。 [ 1 ] 1994年、ジャン=ルイ・ロッシュとジャン・デラ・ドラの共同指導の下、グルノーブル工科大学で博士論文「算術回路の並列評価の複雑性」を提出し、学位を取得した。 [ 1 ] [ 2 ]
ENSIMAGでの臨時研究職の後、 1996年にリール科学技術大学の准教授になった。2002年にINRIAの研究員として現在の職に就き、2020年からは「hors classe」研究員である。[ 1 ]
レボルは、区間演算のIEEE 1788規格を作成したワーキンググループの議長を務めた。[ 3 ]彼女はファブリス・ルイリエと共に、任意精度区間演算のためのMPFIライブラリを開発した。[ 4 ]
彼女は『浮動小数点演算ハンドブック』 (Birkhäuser、2010年、第2版、2018年)の共著者である。 [ 5 ]