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)
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.
Disciplines liées à ses interventions
Vidéos
Les nombres et l'ordinateur
BOLDO Sylvie
Nous confions à nos ordinateurs de nombreux calculs (météo, simulations aéronautiques, jeux vidéos, feuilles Excel...) et nous considérons naturellement que l'ordinateur fournira une réponse juste
Pourquoi mon ordinateur calcule faux?
BOLDO Sylvie
Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes