BOLDO Sylvie

Sylvie Boldo est Chargée de recherche INRIA dans l'équipe-projet PROVAL. Elle est chercheuse en preuve de programmes et arithmétique des ordinateurs.
Sylvie Boldo est Chargée de recherche INRIA dans l'équipe-projet PROVAL. Elle est chercheuse en preuve de programmes et arithmétique des ordinateurs.