Sylvie Boldo | |
|---|---|
 Sylvie Boldo in 2006 | |
| 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 |
Sylvie Boldo is a French mathematician and computer scientist. Her research combinesautomated theorem proving andcomputer arithmetic, focusing on the formal verification offloating-point arithmetic operations and ofalgorithms based on them. She is a director of research for theFrench Institute for Research in Computer Science and Automation (INRIA), affiliated with the Formal Methods Laboratory atParis-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 Frenchagrégation in computer science.[3]
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 herhabilitation atParis-Sud University in 2014, with the habilitation thesisDeductive Formal Verification: How To Make Your Floating-Point Programs Behave.[6]
In 2021, France began offering anagrégation in computer science, and selected Boldo as the founding president of its jury.[3]
Boldo is the author of books including:
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
