Sylvie Boldo


Ph.D. École Normale Supérieure de Lyon 2004 France
Dissertation: Preuves formelles en arithmétiques à virgule flottante
Mathematics Subject Classification: 68—Computer science

Advisor 1: Marc Daumas

Student:

NameSchoolYearDescendants
Nguyen, Thi Minh TuyenUniversité Paris-Sud XI - Orsay2012

According to our current on-line database, Sylvie Boldo has 1 student and 1 descendant.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 165102 for the advisor ID.