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

Les nombres et l'ordinateur
Conférence
00:46:21
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?
Conférence
00:35:59
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