Nathalie Revol
French computer scientist
Nathalie Revol (born 1967) 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
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. 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.
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".
Contributions
Revol chaired the working group that produced the IEEE 1788 standard for interval arithmetic. With Fabrice Rouillier, she developed the MPFI library for arbitrary-precision interval arithmetic.
She is a coauthor of the book Handbook of Floating-Point Arithmetic (Birkhäuser, 2010; 2nd ed., 2018).
Begin with the source’s own compact description: “Nathalie Revol” is french computer scientist. The dossier treats that line as a proposition to test through Nathalie, Revol and French, not as a finished interpretation.
Why this record matters
The phrase “french computer scientist” supplies a clear boundary for inquiry. It also exposes the unanswered questions: who defined that boundary, when it became stable and which sources sit outside it.
Chronology provides the most reliable spine for this subject; interpretation should follow only after identities and dates are secure. The source revision retrieved here is dated Aug 29, 2026. The linked authority identifier is Q102230485. VIAF identifies the subject as 172987949. 2 of 4 selected statements include explicit references; 2 carry qualifiers and 1 use preferred rank. The first chronological checks are 1967, 1987, 1990 and 1989.
A concise life account rarely captures disputed attribution, private networks or the changing language used to describe a career. The lead is largely declarative, so disagreement and counter-evidence require a deliberate search beyond the opening account. Authority statements aid reconciliation but still require their own references, qualifiers and ranks to be checked.
How to read it
Read biographical claims against dates, named institutions and the cited references. Distinguish a subject’s later reputation from evidence produced during their lifetime.
- Establishing names and roles
- Building a first chronology
- Locating cited institutions
Personal papers, civil or court records, institutional files and the scholarship cited by the source.
Three-step research path
- Establish the record: confirm the title “Nathalie Revol”, its source revision and the description used here.
- Expand the search: follow Nathalie Revol primary sources, Nathalie Revol archive and Nathalie research across catalogues and specialist indexes.
- Test the account: compare the strongest cited source with the responsible institution’s current record and note any disagreement.
Questions for further research
- Which source most directly establishes the central claim about “Nathalie Revol”?
- Which primary records establish identity, chronology and institutional ties?
- How has the subject’s reputation changed across later accounts?
Search terms from this dossier
This entry incorporates text from “Nathalie Revol” on English Wikipedia. Contributors are listed in the page history. Text is available under the Creative Commons Attribution-ShareAlike 4.0 License. Selected authority identifiers and statements are retrieved from Wikidata under CC0; their references and qualifiers remain part of the verification path.