Nathalie Revol (nacida en 1967) [1] es una científica informática francesa conocida por su investigación sobre aritmética informática , incluida la aritmética de punto flotante y la aritmética de intervalos . Es investigadora del Instituto Francés de Investigación en Informática y Automatización (INRIA), asociada al proyecto de aritmética e informática del Laboratoire de l'Informatique du Parallélisme de la École normale supérieure de Lyon .
Revol estudió informática en la École nationale supérieure d'informatique et de mathématiques appliquées de Grenoble (ENSIMAG) de 1987 a 1990, obteniendo un diploma de ingeniería en 1990. De 1989 a 1990, también estudió matemáticas aplicadas en la Universidad Joseph Fourier de Grenoble. obteniendo una Maestría en Estudios Avanzados en 1990. [1] Defendió su tesis doctoral, Complexité de l'evaluación paralela de circuitos arithmetiques [ Complejidad de la evaluación paralela de circuitos aritméticos ], en 1994 a través del Instituto de Tecnología de Grenoble , bajo la dirección conjunta supervisión de Jean-Louis Roch y Jean Della Dora. [1] [2]
Después de un puesto temporal de investigación en ENSIMAG, se convirtió en profesora asociada en la Universidad de Ciencia y Tecnología de Lille en 1996. En 2002, asumió su puesto actual como investigadora del INRIA y desde 2020 es investigadora "hors classe". [1]
Revol presidió el grupo de trabajo que produjo el estándar IEEE 1788 para aritmética de intervalos . [3] Con Fabrice Rouillier, desarrolló la biblioteca MPFI para aritmética de intervalos de precisión arbitraria . [4]
Es coautora del libro Handbook of Floating-Point Arithmetic (Birkhäuser, 2010; 2ª ed., 2018). [5]