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
Sylvie Boldo
[go: Go Back, main page]

Home page of Sylvie Boldo

Who am I?

I am an INRIA researcher (Chargée de recherche) in Orsay (near Paris), France, in the Proval project.

I work at the INRIA Saclay - Île-de-France research unit and in the Laboratoire de Recherche en Informatique (Université Paris Sud), in the team Démonstration et Programmation.

I am interested in popular science and I belong to the editorial committee of the popular scaince web site Interstices (in French only).

photo de S. Boldo

Research interests:

I have obtained formal guarantees on programs that use floating-point arithmetic, see my gallery of proved programs for some examples.

News

Feb 09 Seminar at the INRIA the Algorithms project (INRIA Paris - Rocquencourt)
Feb 09 Two published article in IEEE Transactions on Computers
Nov 08 Hisseo web site is in-line.
Nov 08 Seminar at the LACL (Paris 12)
Nov 08 Popular science article in DocSciences
Sep 08 Seminar for the ENS Lyon students
Jul 08 I am head of the FOST project accepted by the ANR
Jul 08 Accepted paper with Marc Daumas and Pascal Giorgi at the RNC8 conference
Jun-Jul 08 Trainee student from ENS Lyon: Paul Brunet
Apr 08 The Hisseo project (with Gallium and CEA LIST) is accepted
Logo INRIA Saclay - Île-de-France