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

Publications
Software
Research
Students
Other scientific activities
Teaching
Miscellaneous

Vitae

Main research subjects and topics of interest

computer arithmetic
interval and multiple precision arithmetic
floating-point arithmetic: influence and choice of the computing precision, roundoff errors
verification of floating-point computations for linear and nonlinear problems
global optimization (interval arithmetic) and its parallelization

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

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

associate editor of IEEE Transactions on Computers.
member of the program committee of ARITH 2023: 30th IEEE Symposium on Computer Arithmetic, Portland, Oregon, 4-6 September 2023.
member of the program committee of ARITH 29: 29th IEEE Symposium on Computer Arithmetic, virtual, 12-14 September 2022.
member of the program committee of PPAM 2022: 13th International Conference on Parallel Processing and Applied Mathematics, Gdansk, Poland, 11-14 September 2022.
member of the scientific committee of SCAN 2020: 19th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations held virtually, 13-15 September 2021.
member of the program committee of ARITH 28: 28th IEEE Symposium on Computer Arithmetic, virtual, 14-16 June 2021.
member of the program committee of ARITH 27: 27th IEEE Symposium on Computer Arithmetic, virtual, 2020.
member of the program committee of Correctness 2019: Third International Workshop on Software Correctness for HPC Applications, workshop of SuperComputing 2019, Denver, Colorado, USA, 18 November 2018.
member of the program committee of PPAM 2019: 13th International Conference on Parallel Processing and Applied Mathematics, Bialystok, Poland, 8-11 September 2019.
member of the program committee of ARITH 26: 26th IEEE Symposium on Computer Arithmetic, Kyoto, Japan, 10-12 July 2019.
member of the program committee of Correctness 2018: Second International Workshop on Software Correctness for HPC Applications, workshop of SuperComputing 2018, Dallas, Texas, USA, 12 November 2018.
member of the scientific committee of SCAN 2018: 18th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations Tokyo, Japan, 10-15 September 2018.
member of the program committee of ARITH 25: 25th IEEE Symposium on Computer Arithmetic, Amherst, Massachusetts, USA, 25-27 June 2018.
member of the program committee of Computational Reproducibility at Exascale 2017 (CRE2017), workshop of SuperComputing 2017, Denver, Colorado, USA, 12 November 2017.
member of the program committee of Correctness 2017: First International Workshop on Software Correctness for HPC Applications, workshop of SuperComputing 2017, Denver, Colorado, USA, 12 November 2017.
member of the program committee of ARITH 24: 24th IEEE Symposium on Computer Arithmetic, London, United Kingdom, 24-26 July 2017.
invited speaker at NSV17: 10th International Workshop on Numerical Software Verification 2017, Heidelberg, Germany, 22-23 July 2017.
co-PC chair of ARITH 23: 23rd IEEE Symposium on Computer Arithmetic, Bay Area, California, 10-13 July 2016.
in charge of the organization of SWIM 2016: 9th Summer Workshop on Interval Methods, Lyon, France, 19-22 June 2016.
member of the scientific committee of 7th International Workshop on Reliable Engineering Computing, Bochum, Germany, 15-17 June 2016.
member of the committee for the Workshop on Numerical Reproducibility at Exascale during SuperComputing 15, Austin, Texas, November 20, 2015.
member of the organizing committee of ARITH 22: 22nd IEEE Symposium on Computer Arithmetic, Lyon, France, 22-24 June 2015.
member of the scientific committee of SCAN 2014: 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Würzburg, Germany, 21-26 September 2014.
chair of the organizing committee of the 13ème Forum des Jeunes Mathématicien-ne-s, and in charge of the « gender » side of the program, Lyon, France, 13-15 November 2013.
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

Initiation to scientific diffusion and mediation, for 4th year ENS students (Projet Long de Recherche): 2019, 2020, 2021, 2022.
Scientific diffusion and mediation, for primary and high-school pupils, in the framework of the MMI: Maison des Mathématiques et de l'Informatique of the Labex MILyon.
As an example, the program for primary school pupils is here.
Doctoral class on Apprendre à vulgariser 2015-1016, 2016-2017, also for 4th year students at ENS de Lyon in 2018-2019 and 2019-2020.
Master class on Algorithmique numérique et fiabilité des calculs en arithmétique flottante with Claude-Pierre Jeannerod, 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), 2014-2015, 2015-2016, 2016-2017, 2017-2018,2018-2019 and 2019-2020. Lecture notes about interval arithmetic here.
Master class on Algorithmique numérique et fiabilité des calculs en arithmétique flottante with Claude-Pierre Jeannerod and Nicolas Louvet, 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 and 2013-2014. Lecture notes and references here for 2013-2014. Lecture notes and references here for 2012-2013.
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îtresse 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.
- 2008-10-06: birth of Lisa.

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