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 science 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

Jul 09 Will go and present a paper at the ICALP conference.
Jun 09 Attended the ARITH conference.
Apr 09 Accepted paper for ICALP.
Apr 09 Accepted paper for Calculemus with G. Melquiond and J.-C. Filliâtre about a gappa tactic (how to install it?).
Feb 09 Developped with G. Melquiond and J.-C. Filliâtre a gappa tactic (how to install it?).
Feb 09 My article in French about programs in now in-line on the popular science web site Interstices.
Feb 09 Accepted article in BIT with S. Rump, P. Zimmermann and G. Melquiond.
Feb 09 I supervise with Claude Marché a new Ph.D. student, Tuyen Nguyen.
Feb 09 Seminar at the INRIA the Algorithms project (INRIA Paris - Rocquencourt)
Feb 09 One published article in IEEE Transactions on Computers
Jan 09 ANR FOST project has begun.
Dec 08 I got a promotion: I am now "CR1" (first-class junior researcher).
Logo INRIA Saclay - Île-de-France