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: 366 GN1, ENS de Lyon site Monod, 46 allée d'Italie, 69007 Lyon
Phone: (+33) 4 72 72 85 03
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.

   

NSV17: 10th International Workshop on Numerical Software Verification 2017,
Heidelberg, Germany, 22-23 July 2017.

ARITH 24: 24th IEEE Symposium on Computer Arithmetic,
London, United Kingdom, 24-26 July 2017.

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 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.


Collaborations


Other scientific activities


Teaching


Miscellaneous


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