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]
Sylvie Boldo | |
---|---|
Education | École normale supérieure de Lyon, Paris-Sud University |
Occupation(s) | Mathematician and computer scientist |
Known for | Founding jury president for the French agrégation in computer science |
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]
Boldo is the author of books including: