paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 112505821Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Boldo, Sylvie

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : français
Pays : France
Genre : Féminin

Notes

Note publique d'information : 
Auteur d'une thèse en Informatique soutenue à l'ENS de Lyon en 2004

Note publique d'information : 
Directrice de recherche INRIA, Université Paris-Sarclay (en 2019)

Identifiants externes

Identifiant HAL : sboldo
Identifiant ORCID : 0000-0002-1970-3019
Identifiant VIAF : http://viaf.org/viaf/208242736

Source

Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle / Boris Djalal ; sous la direction d'Yves Bertot. Thèse de doctorat : Informatique : Côte d'Azur : 2018

Information trouvée : présidente du jury, rapportrice de thèse

Informatique Mathématique une photographie en 2013 / Emmanuel Beffara, Jean-Daniel Boissonnat, Sylvie Boldo... [et al.] ; Philippe Langlois, éd., 2013

Information trouvée : En poste à l'INRIA, Institut national de recherche en informatique et en automatique (en 2013). Directrice de Recherche INRIA (2018-)

Outils pour la formalisation en analyse classique : une étude de cas en théorie du contrôle / Damien Rouhling ; sous la direction de Yves Bertot et Cyril Cohen. Thèse de doctorat : Informatique : Côte d'Azur : 2019

Information trouvée : rapportrice de thèse, membre du jury

Preuves formelles en arithmétiques à virgule flottante / Sylvie Boldo

https://www.inria.fr/en/sylvie-boldo-computer-science-aggregation-president, 2022-02-18

Information trouvée : 2021 : creation of a computer science aggregation at the start of the 2021 school year. Sylvie Boldo, currently deputy scientific delegate at Inria Saclay, will be president of the jury.

... Références liées : ...