Nathalie Revol (nacida en 1967) [1] es una científica informática francesa conocida por sus investigaciones 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), asociado al proyecto de aritmética e informática del Laboratoire de l'Informatique du Parallélisme de la École normale supérieure de Lyon .
Educación y carrera
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. obtuvo una Maestría en Estudios Avanzados en 1990. [1] Defendió su tesis doctoral, Complexite de l'evaluation paralele des circuits arithmetiques [ Complejidad de la evaluación paralela de circuitos aritméticos ], en 1994 a través del Instituto de Tecnología de Grenoble , en el marco del supervisión de Jean-Louis Roch y Jean Della Dora. [1] [2]
Después de un puesto de investigación temporal en ENSIMAG, se convirtió en profesora asociada en la Universidad de Ciencia y Tecnología de Lille en 1996. En 2002, ocupó su puesto actual como investigadora para INRIA, y desde 2020 ha sido investigadora "hors classe". [1]
Contribuciones
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; 2nd ed., 2018). [5]
Referencias
- ^ a b c d Curriculum vitae (PDF) , École normale supérieure de Lyon, octubre de 2020 , consultado el 14 de julio de 2021
- ^ Nathalie Revol en el Proyecto de genealogía de las matemáticas
- ^ IEEE 1788-2015 - IEEE Standard for Interval Arithmetic , IEEE , recuperado 2021-07-14
- ^ Dąbrowski, Rafał; Kubica, Bartłomiej Jacek (2009), "Comparación de bibliotecas de intervalo C / C ++ en optimización global" (PDF) , Prace Naukowe Politechniki Warszawskiej , 169 : 51–56
- ^ Reseñas del manual de aritmética de punto flotante :
- Bultheel, Adhemar (2015), "Review" , Boletín de la Sociedad Belga de Matemáticas (Simon Stevin) , 22 (1): 174-175
- Hayes, Brian (enero-febrero de 2012), "Murkiness in numerical computing" , American Scientist , 100 (1): 84–86, JSTOR 23222826
- Mohan, TC, Zbl 1197.65001 y Zbl 1394.65001