Skip to main content
≡
News
Courses
FormaPro
Organizations
About FUN
FAQ
You are here:
Home
Sylvie Boldo
Sylvie Boldo
Sylvie Boldo est chercheuse en informatique à Saclay (Inria), spécialiste en arithmétique des ordinateurs, en preuves formelles et en vérification de programmes.
Courses
Se former pour l’ICN Informatique et Création Numérique
Organization
Inria
Course code
41014
S'initier à l'enseignement en Sciences Numériques et Technologie
Organization
Inria
Course code
41018