Sylvie Boldo

Experte Recherche - France - Ile-de-France

Informatique Logique

Fonction principale

Chargée de recherche

Organisme

Institut national de recherche en informatique et en automatique (Inria)

Langues parlées

Français

Contact pro

sylvie.boldo@inria.fr

Contact perso

email@example.com

01 23 45 67 89

Identifiez-vous pour accéder à cette information.
ou

Réseaux sociaux

Biographie

Sylvie Boldo est chercheuse en informatique, spécialiste en arithmétique des ordinateurs, en preuve formelles et en vérification de programmes. Elle a soutenu sa thèse en 2004 à l'École Normale Supérieure de Lyon puis a été recrutée comme chargée de recherche à l'Inria Saclay - Île-de-France en 2005. Elle a soutenu son HDR (habilitation à diriger des recherches) en 2014.

Publications