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

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