Picture of Nathalie Revol, April 2014

Nathalie Revol

Chargée de recherche à l'INRIA dans le projet AriC, au LIP, École Normale Supérieure de Lyon
Research scientist at INRIA, within the project AriC, at the laboratory LIP, École Normale Supérieure de Lyon

Postal Address:
Projet AriC
Laboratoire de l'Informatique du Parallélisme
École Normale Supérieure de Lyon
46 allée d'Italie
69364 Lyon Cedex 07

Office: 335S GN1, ENS de Lyon site Monod, 46 allée d'Italie, 69007 Lyon
Phone: (+33) 4 26 73 14 54
Fax: (+33) 4 72 72 80 80 (Please indicate Attention of N. Revol, LIP)
E-mail: Nathalie.Revol@ens-lyon.fr . ORCID: ORCID iD iconorcid.org/0000-0002-2503-2274

IEEE 1788 working group on the standardization of interval arithmetic
See our discussions, motions and votes here.
The standard is now adopted as IEEE 1788-2015 Standard for Interval Arithmetic.
A simplified version is now adopted as IEEE 1788.1-2017 Standard for Interval Arithmetic (Simplified).


ARITH 27: 27th IEEE Symposium on Computer Arithmetic,
virtual in 2020.

SCAN 2021: International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics,
Szeged, Hungary, September 2021.




Main research subjects and topics of interest


While in Lille, I worked with Benoît Planquelle, former PhD student at LIFL and now computer scientist at the Rectorat de Lille, Nicolas Baeyens, former graduating student in Applied Math. at USTL and now mathematics teacher, Sébastien Czech, former graduating student in Computer Science at USTL.

I also worked on the parallelization of automatic speech recognition with Yahya Ould Mohamed El Hadj, former PhD student at University Mohamed 1st, Oujda, Morocco, co-directed with E.M. Daoudi, within the framework of the European contract INCO-Keep In Touch Development of Parallel Algorithms for Irregular Problems. He is now Professor in Doha, Qatar.

Work on interval analysis and global optimization has been done with

Francisco José Cháves has worked for his PhD thesis on the implementation and certification of Taylor models using the formal proof assistant PVS (in French). His supervisors were Marc Daumas and myself. This PhD thesis took place in the Mathlogaps framework, a multi-participant Early Stage Research Training Site in MATHematical LOGic and APplicationS (2004 - 2008). Francisco José Cháves now works with Escuela Colombiana de Ingeniería and Lifit, Bogotá, Colombia.

Hong Diep Nguyen has defended his PhD thesis (18 January 2011) entitled Efficient algorithms for verified scientific computing: numerical linear algebra using interval arithmetic under the supervision of Gilles Villard and myself. After a postdoc at UC Berkeley with Jim Demmel and a position as consultant in the Silicon Valley, he is now head of software architects for a start-up in California.

David Pfannholzer has worked on a PhD thesis from end 2009 to 2011 under the supervision of Florent de Dinechin and myself.

Philippe Théveny has defended his PhD thesis in October 2014 entitled "Numerical Quality and High Performance in Interval Linear Algebra on MultiCore Processors", with problems originating from linear algebra. He is now working for the finance branch of the Swiss Post.


Other scientific activities



Go to Page MMI : Maison des Mathématiques et de l'Informatique
Go to Page AriC
Go to Page LIP
Go to Page INRIA Rhône-Alpes
Go to Page Université de Lille