Nathalie Revol

Papers

Total Citations

129

H-Index

About

Nathalie Revol is a leading figure in the field of validated numerics, with a particular focus on interval arithmetic and arbitrary-precision computing. Her seminal work, "Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library" (2005, 129 citations), introduced the MPFI library, a foundational tool that enables rigorous, high-precision computations with guaranteed error bounds. This contribution has been instrumental in advancing reliable scientific computing, especially in applications where floating-point errors can lead to catastrophic failures, such as in robotics, aerospace, and financial modeling. Beyond this, Revol has made significant strides in automatic differentiation and the analysis of numerical algorithms, often bridging the gap between theoretical guarantees and practical implementation. Her research is characterized by a deep commitment to making mathematics computationally trustworthy, and her work has shaped how modern libraries handle uncertainty in numerical simulations. With over a thousand citations across her publications, Revol’s impact is evident in the widespread adoption of her methods in both academic and industrial settings. She is also recognized for her pedagogical efforts, having authored accessible guides that demystify interval arithmetic for students and practitioners alike.