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: 276 LUG, 7 allée Pierre de Coubertin
Phone: (+33) 4 37 28 74 76
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.
Subscribe to the mailing list here

Next in-person annual meeting:
during SCAN 2014, Würzburg, Germany, 21-26 September 2014.

   

SWIM 2014: 7th Small Workshop on Interval Methods,
Uppsala, Sweden, 10-12 June 2014.

ICVRAM 2014: Second International Conference on Vulnerability and Risk Analysis and Management,
Liverpool, UK, 13-16 July 2014.

Challenges in 21st Century Experimental Mathematical Computation,
ICERM, Providence RI, USA, 21-25 July 2014.

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 begun a PhD thesis in 2011 entitled "Numerical quality and high performance in scientific computing on emerging architectures", with problems originating mainly 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