Sylvie Boldo
About Sylvie Boldo
Sylvie Boldo is a researcher at Inria, where she has worked since 2005. She specializes in formal verification of numerical programs and has expertise in proof assistants, particularly Coq.
Work at Inria
Sylvie Boldo has been a researcher at Inria since 2005, contributing to the Toccata project within the Saclay - Île-de-France research unit. Her work focuses on the development and application of proof assistants, particularly the Coq proof assistant. Boldo's role involves advancing the field of formal verification, which is essential for ensuring the correctness of numerical programs.
Education and Expertise
Sylvie Boldo studied at Ecole normale supérieure de Lyon from 1998 to 2002, where she earned a Master of Science (M.S.) in Computer Science. Her academic background laid the foundation for her expertise in proof assistants and formal verification. Boldo has a strong focus on the formal verification of numerical programs, utilizing her knowledge to enhance software reliability.
Background
Before joining Inria, Sylvie Boldo worked as a PhD student at ENS Lyon from 2001 to 2004. This experience contributed to her research skills and deepened her understanding of computer science, particularly in the areas of formal methods and proof systems. Her academic journey has been instrumental in shaping her current research interests.
Collaborations and Research Affiliations
Sylvie Boldo collaborates with the Laboratoire de Recherche en Informatique, which is affiliated with CNRS and Université Paris-Sud. This collaboration enhances her research capabilities and allows her to engage with a broader academic community, facilitating advancements in the field of formal verification and proof assistants.