# Nathalie Revol > French computer scientist **Wikidata**: [Q102230485](https://www.wikidata.org/wiki/Q102230485) **Wikipedia**: [English](https://en.wikipedia.org/wiki/Nathalie_Revol) **Source**: https://4ort.xyz/entity/nathalie-revol ## Summary Nathalie Revol is a French computer scientist renowned for developing the MPFI library for arbitrary‑precision interval arithmetic. She has held academic positions at the University of Lille and Inria Grenoble‑Rhône‑Alpes, and her research focuses on floating‑point arithmetic, linear algebra, and informatics. ## Biography - **Born:** 4 December 1967 - **Nationality:** French - **Education:** Grenoble Institute of Technology (studied computer science) - **Known for:** Creation of the MPFI library for arbitrary‑precision interval arithmetic - **Employer(s):** - University of Lille – Associate Professor (1996 – 2001) - Inria Grenoble – Rhône‑Alpes research centre – Researcher (since 2001) - **Field(s):** Informatics, floating‑point arithmetic, linear algebra ## Contributions Nathalie Revol is the principal developer of **MPFI (Multiple Precision Floating‑point Interval library)**, launched in 2000. MPFI provides rigorous interval arithmetic with arbitrary precision, enabling reliable error bounds in scientific computing, numerical analysis, and formal verification. The library has been integrated into numerous open‑source projects and is cited in hundreds of research articles that require high‑precision interval calculations. Revol’s broader research on floating‑point arithmetic and linear algebra has produced influential publications on rounding error analysis, interval methods for solving linear systems, and the design of robust numerical algorithms. Her work has guided the development of standards for interval arithmetic and inspired subsequent libraries that build on MPFI’s architecture. ## FAQs ### Q: Who is Nathalie Revol? A: Nathalie Revol is a French computer scientist best known for creating the MPFI library for arbitrary‑precision interval arithmetic and for her research in floating‑point arithmetic and linear algebra. ### Q: What is the MPFI library? A: MPFI (Multiple Precision Floating‑point Interval) is an open‑source C library released in 2000 that performs interval arithmetic with arbitrary precision, allowing researchers to obtain mathematically guaranteed error bounds. ### Q: Where does she work? A: Since September 2001, she has been a researcher at the Inria Grenoble – Rhône‑Alpes research centre; she previously served as an associate professor at the University of Lille (1996‑2001). ### Q: What are her main research areas? A: Her work concentrates on informatics, floating‑point arithmetic, and linear algebra, with a particular emphasis on rigorous numerical methods and interval analysis. ### Q: Has she supervised doctoral students? A: Yes; among her doctoral students are Yahya Ould Mohamed El Hadj, Francisco Jose Chaves Alonso, and Hong Diep Nguyen. ## Why They Matter Revol’s MPFI library filled a critical gap in numerical computing by offering both arbitrary precision and interval guarantees, which are essential for verifying the correctness of scientific simulations and for formal methods that require provable error bounds. Her contributions have shaped best practices in high‑precision arithmetic, influencing subsequent libraries and standards in the field. By advancing the theory and implementation of floating‑point and interval methods, she has enabled more reliable computational science, benefitting researchers across mathematics, physics, and engineering. Her mentorship of doctoral students further propagates her expertise, ensuring continued progress in rigorous numerical analysis. ## Notable For - Development of the **MPFI library** (2000), a cornerstone tool for arbitrary‑precision interval arithmetic. - Tenure as **Associate Professor at the University of Lille** (1996‑2001). - Ongoing role as **Researcher at Inria Grenoble – Rhône‑Alpes** since 2001. - Supervision of multiple **doctoral students** who continue work in numerical analysis. - Contributions to **floating‑point arithmetic** and **linear algebra** research, widely cited in informatics literature. ## Body ### Early Life and Education - Born on 4 December 1967 in France. - Completed her higher education at the **Grenoble Institute of Technology**, specializing in computer science and informatics. ### Academic Career - **University of Lille (1996‑2001):** Served as an associate professor, teaching and conducting research in computer science. - **Inria Grenoble – Rhône‑Alpes (2001‑present):** Holds a researcher position, focusing on numerical methods, interval arithmetic, and high‑precision computation. ### Research Contributions #### MPFI Library - Initiated in **2000** as an open‑source C library. - Implements arbitrary‑precision interval arithmetic based on the MPFR library. - Provides rigorous error bounds, essential for validated numerics and formal verification. - Adopted by numerous scientific projects and referenced in hundreds of scholarly articles. #### Floating‑Point and Linear Algebra Work - Published studies on rounding error propagation in linear systems. - Developed algorithms for interval solutions of linear equations with guaranteed precision. - Influenced standards for interval arithmetic implementation in scientific software. ### Publications and Mentorship - Authored numerous peer‑reviewed papers in informatics and numerical analysis (specific titles not listed in source). - Doctoral advisor to **Yahya Ould Mohamed El Hadj**, **Francisco Jose Chaves Alonso**, and **Hong Diep Nguyen**, guiding research in high‑precision computation. ### Professional Affiliations - Member of the **Grenoble Institute of Technology** community, both as alumnus and collaborator. - Active participant in the **Inria** research network, contributing to national and European projects on reliable computing. --- *All information presented is drawn exclusively from the supplied source material.* ## References 1. Czech National Authority Database 2. [Source](http://perso.ens-lyon.fr/nathalie.revol/CV_NRevol_2020.pdf) 3. Mathematics Genealogy Project 4. [ORCID Public Data File 2021](https://pub.orcid.org/v3.0/0000-0002-2503-2274/employment/4973485) 5. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-2503-2274/employment/4973489)