Sylvie Boldo

Sylvie Boldo
Sylvie Boldo in 2006
EducationÉcole normale supérieure de Lyon,
Paris-Sud University
Occupation(s)Mathematician and computer scientist
Known forFounding jury president for the French agrégation in computer science

Sylvie Boldo is a French mathematician and computer scientist. Her research combines automated theorem proving and computer arithmetic, focusing on the formal verification of floating-point arithmetic operations and of algorithms based on them. She is a director of research for the French Institute for Research in Computer Science and Automation (INRIA), affiliated with the Formal Methods Laboratory at Paris-Saclay University and the INRIA Saclay-Île-de-France Research Centre,[1] where she co-leads the Toccata project for formally verified programs, certified tools and numerical computations.[2] She is also the founding jury president for the French agrégation in computer science.[3]

Education and career

Boldo completed her Ph.D. at the École normale supérieure de Lyon in 2004,[4] and has been affiliated with INRIA Saclay since 2005.[5] She completed her habilitation at Paris-Sud University in 2014, with the habilitation thesis Deductive Formal Verification: How To Make Your Floating-Point Programs Behave.[6]

In 2021, France began offering an agrégation in computer science, and selected Boldo as the founding president of its jury.[3]

Books

Boldo is the author of books including:

  • Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (with Guillaume Melquiond, ISTE Press / Elsevier, 2017)[7]
  • Une introduction à la science informatique pour les enseignants de la discipline en lycée (with Dowek, Archambault, Baccelli, Bouhinou, Cegielski, Clausen, Guessarian, Lopes, Mounier, Nguyen, Quessette, Rasse, Rozoy, Timsit, Viéville, and Vincent, CRDP Paris, 2011)

References

  1. ^ "Members", Formal Methods Laboratory, French National Centre for Scientific Research (CNRS), retrieved 2021-09-13
  2. ^ "Team members", Toccata project, French Institute for Research in Computer Science and Automation (INRIA), retrieved 2021-09-13
  3. ^ a b Sylvie Boldo named president of the first computer science aggregation, French Institute for Research in Computer Science and Automation (INRIA), 30 June 2021, retrieved 2021-09-13
  4. ^ "Sylvie Boldo", IEEE Xplore, retrieved 2021-09-13
  5. ^ "Sylvie Boldo", ORCID, retrieved 2021-09-13
  6. ^ Boldo, Sylvie (2014), Deductive Formal Verification: How To Make Your Floating-Point Programs Behave (thesis), Paris-Sud University, retrieved 2021-09-13 – via HAL
  7. ^ Reviews of Computer Arithmetic and Formal Proofs: Manfred Kerber, Zbl 1385.68001; Pavel S. Pankov, MR3729304