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: 315 GN1, ENS de Lyon site Monod, 46 allée d'Italie, 69007 Lyon
Phone: (+33) 4 72 72 84 36
Fax: (+33) 4 72 72 80 80 (Please indicate Attention of N. Revol, LIP)
E-mail: Nathalie.Revol@ens-lyon.fr .

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.


SWIM 2015: 8th Small Workshop on Interval Methods,
Prague, Czech Republic, 9-11 June 2015.

ARITH 22: 22nd IEEE Symposium on Computer Arithmetic,
Lyon, France, 22-24 June 2015.

Workshop on Numerical Reproducibility at Exascale during SuperComputing 15,
Austin, Texas, November 20, 2015.

7th International Workshop on Reliable Engineering Computing,
Bochum, Germany, 15-17 June 2016.

SWIM 2016: 9th Summer Workshop on Interval Methods,
Lyon, France, 19-22 June 2016,
one of the events of the HPC thematic term of the Labex MILyon.

ARITH 23: 23rd IEEE Symposium on Computer Arithmetic,
Bay Area, California, 10-13 July 2016.




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 Associate Professor at the Al-Imam Muhammad Ibn Saud's University, Riyadh, Kingdom of Saudi Arabia

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 Politecnico Grancolombiano, 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. He is now postdoc at UC Berkeley with Jim Demmel.

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.


Other scientific activities



Go to Page Arenaire
Go to Page LIP
Go to Page INRIA Rhône-Alpes
Go to Page ANO
Go to Page USTL