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
France

Office: 374N GN1, ENS de Lyon site Monod, 46 allée d'Italie, 69007 Lyon
E-mail: Nathalie.Revol@ens-lyon.fr . ORCID: ORCID iD iconorcid.org/0000-0002-2503-2274

scientific editor-in-chief since 2019 of Interstices,
scientific Web site, in french, for the dissemination of numeric sciences towards a large audience

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

   

SCAN 2023: International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics,
Nantes, France, September 2023 cancelled.

ARITH 2023: 30th IEEE Symposium on Computer Arithmetic,
4-6 September 2023, Portland, Oregon.

SWIM 2023: 14th Summer Workshop on Interval Methods,
Angers, France, 27-29 June 2023.

Vitae


Publications


Software


Main research subjects and topics of interest



Students

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


Teaching


Miscellaneous


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