![Sylvie Boldo](https://popl24.sigplan.org/getProfileImage/sylvieboldo/e7b06c86-5127-4741-b428-4b0484257081/small.jpg?1711464121000)
Registered user since Fri 18 Nov 2016
Name:Sylvie Boldo
Country:France
Affiliation:Inria and Université Paris-Saclay
Personal website: https://pages.saclay.inria.fr/sylvie.boldo/
Research interests:Computer arithmetic, formal proof, program verification
Contributions
POPL 2024-profile
View general profile
View general profile