Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
CV
[go: Go Back, main page]

CV

Sylvie Boldo is born on November 21st, 1978 and has one child (born in 2006).

Employments

2005-... Research scientist at the INRIA Saclay - Île-de-France
2001-2004    PhD "Formal proofs about floating-point arithmetics", under the direction of Marc Daumas, at the Laboratoire de l'Informatique du Parallélisme (École Normale Supérieure de Lyon). Defended on November 22, 2004
1998-2002 Student at the École Normale Supérieure de Lyon (this implies being a civil servant)

Responsibilities