Nathalie Revol

Chargée de recherche à l'INRIA dans le projet AriC, au LIP, École Normale Supérieure de Lyon
Senior 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

École sur la précision et reproductibilité en calcul numérique,
Fréjus, 25-29 mars 2013.

Congrès SMAI 2013 6e Biennale Française des Mathématiques Appliquées et Industrielles,
mini-symposium entitled ReproNum: Étapes vers la reproductibilité numérique des calcul, Seignosse Le Penon, Landes, 27-31 mai 2013.

SWIM 2013: 6th Small Workshop on Interval Methods,
ENSTA Bretagne, Brest, France, June 5-7, 2013.

Forum des Jeunes Mathématicien-ne-s,
sur le thème Mathématiques et informatique en interaction, ENS de Lyon, 13-15 novembre 2013.

Publications
Software
Research
Students
Collaborations
Other scientific activities
Teaching
Miscellaneous

Vitae

Main research subjects and topics of interest

computer arithmetic
interval and multiple precision arithmetic
global optimization (interval arithmetic) and its parallelization
parallelization of irregular problems

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

Jean-Baptiste Verchay for the implementation of Remes' algorithm using arbitrary-precision floating-point arithmetic, (Master in Applied Mathematics and Computer Science, summer 2003),
Sylvain Chevillard on the evaluation of the error and complementary error functions erf and erfc, with correct rounding, using arbitrary-precision floating-point arithmetic (3rd year in Computer Science, summer 2003),
Nathalie Dessart on solving linear systems of equations with arbitrary-precision interval arithmetic (Master in Computer Science, spring 2004),
Xavier Roche on the comparison of existence theorems for the solution of nonlinear equations: Kantorovich, Miranda... (3rd year in Computer Science, summer 2004).

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

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.

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

participation to the ANR project HPAC: High-Performance Algebraic Computing.
coordinator of the ANR project EVA-Flo : Evaluation et Validation Automatique pour le calcul Flottant.
participation to the working group Arithmétique des ordinateurs
participation to the working group Méthodes ensemblistes pour l'automatique of the CNRS GDR MACS (and leader in 2004-2005)
participation to the CNRS "Action Spécifique" Validation numérique pour le calcul embarqué (aborted)
participation to the CNRS "Action Spécifique" Arithmétique des ordinateurs (completed)
participation to the working group Arithmétique des Ordinateurs Certifiée (completed)
participation to the working group Collaboration de solveurs (completed)
participation to the working group iHPerf : parallélisme (completed)

Other scientific activities

member of the scientific committee of SCAN 2012: 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations Novosibirsk, Russia, 23-29 September 2012.
Guest co-editor with Götz Alefeld of topical issues of Computing, related to the topics of SCAN 2010. More information on these publications here.
member of the scientific committee of MACIS 2011: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences Beijing, China, 19-21 October 2011.
member of the scientific committee of NSV 2011: 4th International Workshop on Numerical Software Verification Cliff Lodge, Snowbird, Utah, USA, 14-20 July 2011.
Chair of the program and organization committees of SCAN 2010: the 14th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics that took place in Lyon, France, 27-30 September 2010.
member of the scientific committee of ICMS 2010: the Third International Congress on Mathematical Software , Kobe, September 13 to 17, 2010
member of the scientific committee of PASCO 2010: International Workshop Parallel Symbolic Computation , Grenoble, France, 21-23 July 2010.
member of the scientific committee of NSV-3: Third International Workshop on Numerical Software Verification Edinburgh, Scotland, UK, 15 July 2010.
member of the scientific committee of the Fifth International Conference on Computability and Complexity in Analysis Hagen, Germany, 21-24 August 2008.
member of the scientific committee of the SCAN symposia (GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations).
guest co-editor with Peter Hertling, Christoph M. Hoffmann and Wolfram Luther of a special issue of Lecture Notes in Computer Science no 5045 on Reliable Implementation of Real Number Algorithms: Theory and Practice.
member of the organizing committee of the 3rd MATHLOGAPS Workshop, 24-30 June 2007, Aussois, France.
in charge on the "Computer Arithmetic" session at Rencontres Arithmétique de l'Informatique Mathématique, 22-25 January 2007, Montpellier, France: see the program here.
co-organizer of the Dagstuhl seminar no 06021 on Reliable Implementation of Real Number Algorithms: Theory and Practice, 8-13 January 2006, with P. Hertling (Univ. der Bundeswehr - Neubiberg, DE), Ch. M. Hoffmann (Purdue Univ., US) and W. Luther (Univ. Duisburg-Essen, DE).
guest co-editor with Marc Daumas of a special issue of Theoretical Computer Science on Real Numbers and Computers.
member of the organizing commitee of the 2004, Forum des Jeunes Mathématiciennes. Mathématiques, Informatique et Sciences du Vivant, 30-31 January 2004, Institut Henri Poincaré, Paris, France.
member of the organizing commitee of the RNC'5 5th Conference on Real Numbers and Computers, 3-5 September 2003, Lyon, France.
guest co-editor of a special issue (January 2004, volume 162, issue 1) of the Journal of Computational and Applied Mathematics on Linear Algebra and Arithmetic.
member of the organizing committee of the International Conference on Numerical Algorithms dedicated to Claude Brezinski on the occasion of his 60th birthday, held in Marrakesh, Morocco, 1-5 October 2001.
member of the scientific committee of the congress Algèbre Linéaire et Arithmétique held in Rabat, Morocco, from the 28th to the 31st of May, 2001.
involved in the celebration of the World mathematical year 2000 in Lille, for instance through an introductory paper on numerical analysis (in french).
member of the scientific committee of the Troisième séminaire sur l'algorithmique numérique appliquée aux problèmes industriels - Matrices creuses et équations différentielles held in Rennes the 11th and 12th of March, 1999.
member of the program committee of the Third Real Numbers and Computers Conference held in Paris the 27th, 28th and 29th of April, 1998.
organization of the second seminar Techniques Nouvelles de Traitement des Matrices Creuses pour les Problèmes Industriels held in Lille the 28th and 29th of April, 1997 (in french).

Teaching

Master class on Algorithmique numérique et fiabilité des calculs en arithmétique flottante with Claude-Pierre Jeannerod and Nicolas Louvet, in 2012-2013 at Master 2 S2IFA (Sécurité des Systèmes Informatiques en Finance et en Assurance) of master SAFIR (Sciences Actuarielle et Financière, Ingénierie des Risques), ISFA (Institut de Science Financière et d'Assurances), 2012-2013 Lecture notes and references here.
Master class on Algorithms for verified linear algebra, with Claude-Pierre Jeannerod and Nicolas Louvet, in 2011-2012 at Master in Computer Science, École Normale Supérieure de Lyon. Lecture notes and references here.
Master class on Algèbre linéaire certifiée, with Claude-Pierre Jeannerod and Nicolas Louvet, in 2009-2010 at Master in Computer Science, École Normale Supérieure de Lyon. Lecture notes and references here.
Master class on Validation en calcul scientifique / Validation for scientific computing in 2006-2007 at Master in Computer Science, École Normale Supérieure de Lyon. Lecture notes, references, planning etc here.
In charge of the series of lectures entitled Applications of computer science to research and technological development for PhD students, in the École doctorale de Mathématiques et Informatique Fondamentale de Lyon.
With Gilles Villard, we taught a course on Algorithms and arithmetics in the École doctorale de Mathématiques et Informatique Fondamentale de Lyon (DEA Informatique Fondamentale and DEA Analyse Numérique), 2001-2003.
I was previously Maître de Conférences (associate professor) USTL, Université de Lille (1995-2002) and my teaching covered the following topics:
- Operational Research (MIAGE -adult class- and IUP Génie Math. et Informatique)
- Numerical Computations (Maîtrise Informatique)
- Scientific Computations (Maîtrise Ingénierie Mathématique)
- Symbolic and Numerical Computations (Préparation Agrégation de Mathématiques)
- Discrete Optimization (DESS ISN)
- Introduction to Matlab and Maple (DEA Mathématiques)
- Programming with Ada, beginners and advanced classes (DEUG MIA2)
- Mathematics for biologists (DEUG SV, adult class)
I have been ``moniteur'' (1990-1993) and then ``ATER'' (1993-1995) at ENSIMAG and I taught there:
- Scientific Programming (2nd year)
- Projects in Scientific Computing: ODE and Matrix Computations (2nd year)
- ODE exercise classes (2nd year)
- Numerical Algorithms (1st year)
- Dynamical Systems (week for teachers of ``mathématiques spéciales''): lecture notes (in french)
- Computer Algebra (week for teachers of ``mathématiques spéciales''): lecture notes (in french)

Miscellaneous

Family:
- Thierry Alboussière
- 2005-05-25: birth of the twin boys Malo and Antonin.
  Pictures.
- 2008-10-06: birth of Lisa.
  Pictures.
Some recipes (mostly in french) shared among members of the LIP lab.

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