Nathalie Revol (born 1967)[1] is a French computer scientist known for her research on computer arithmetic, including floating-point arithmetic and interval arithmetic. She is a researcher for the French Institute for Research in Computer Science and Automation (INRIA), associated with the arithmetic and computing project of the Laboratoire de l'Informatique du Parallélisme at the École normale supérieure de Lyon.

Education and career

edit

Revol studied computer science at the École nationale supérieure d'informatique et de mathématiques appliquées de Grenoble (ENSIMAG) from 1987 to 1990, earning an engineering diploma in 1990. From 1989 to 1990, she also studied applied mathematics at Joseph Fourier University in Grenoble, earning a Master of Advanced Studies in 1990.[1] She defended her doctoral dissertation, Complexite de l'evaluation parallele des circuits arithmetiques [Complexity of the parallel evaluation of arithmetic circuits], in 1994 through the Grenoble Institute of Technology, under the joint supervision of Jean-Louis Roch and Jean Della Dora.[1][2]

After a temporary research position at ENSIMAG, she became an associate professor at Lille University of Science and Technology in 1996. In 2002, she took her present position as a researcher for INRIA, and since 2020 has been a researcher "hors classe".[1]

Contributions

edit

Revol chaired the working group that produced the IEEE 1788 standard for interval arithmetic.[3] With Fabrice Rouillier, she developed the MPFI library for arbitrary-precision interval arithmetic.[4]

She is a coauthor of the book Handbook of Floating-Point Arithmetic (Birkhäuser, 2010; 2nd ed., 2018).[5]

References

edit
  1. ^ a b c d Curriculum vitae (PDF), École normale supérieure de Lyon, October 2020, retrieved 2021-07-14
  2. ^ Nathalie Revol at the Mathematics Genealogy Project
  3. ^ IEEE 1788-2015 – IEEE Standard for Interval Arithmetic, IEEE, retrieved 2021-07-14
  4. ^ Dąbrowski, Rafał; Kubica, Bartłomiej Jacek (2009), "Comparison of interval C/C++ libraries in global optimization" (PDF), Prace Naukowe Politechniki Warszawskiej, 169: 51–56
  5. ^ Reviews of Handbook of Floating-Point Arithmetic:
edit