Sylvie Boldo

Boldo, Sylvie

France
Langues d'expression
français
Auteur d'une thèse en Informatique soutenue à l'ENS de Lyon en 2004

Directrice de recherche INRIA, Université Paris-Sarclay (en 2019)

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.

Vidéos