88:
and the INRIA Saclay-ĂŽle-de-France
Research Centre, where she co-leads the Toccata project for formally verified programs, certified tools and numerical computations. She is also the founding jury president for the French
81:
147:(with Dowek, Archambault, Baccelli, Bouhinou, Cegielski, Clausen, Guessarian, Lopes, Mounier, Nguyen, Quessette, Rasse, Rozoy, Timsit, Viéville, and Vincent, CRDP Paris, 2011)
380:
390:
375:
385:
102:
32:
370:
73:
65:
216:
85:
365:
110:
37:
69:
298:
189:
139:
Computer
Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
315:
326:
323:
319:
346:
145:
Une introduction à la science informatique pour les enseignants de la discipline en lycée
221:, French Institute for Research in Computer Science and Automation (INRIA), 30 June 2021
350:
359:
122:
90:
106:
238:
105:
in 2004, and has been affiliated with INRIA Saclay since 2005. She completed her
126:
in computer science, and selected Boldo as the founding president of its jury.
287:
Deductive Formal
Verification: How To Make Your Floating-Point Programs Behave
115:
Deductive Formal
Verification: How To Make Your Floating-Point Programs Behave
77:
196:, French Institute for Research in Computer Science and Automation (INRIA)
261:
64:
is a French mathematician and computer scientist. Her research combines
218:
Sylvie Boldo named president of the first computer science aggregation
55:
Founding jury president for the French agrégation in computer science
285:
82:
French
Institute for Research in Computer Science and Automation
165:
341:
84:(INRIA), affiliated with the Formal Methods Laboratory at
172:, French National Centre for Scientific Research (CNRS)
141:(with Guillaume Melquiond, ISTE Press / Elsevier, 2017)
80:
based on them. She is a director of research for the
51:
43:
28:
21:
8:
16:French mathematician and computer scientist
18:
72:, focusing on the formal verification of
381:21st-century French women mathematicians
134:Boldo is the author of books including:
157:
113:in 2014, with the habilitation thesis
312:Computer Arithmetic and Formal Proofs
7:
391:ENS Fontenay-Saint-Cloud-Lyon alumni
211:
209:
47:Mathematician and computer scientist
376:21st-century French mathematicians
120:In 2021, France began offering an
14:
101:Boldo completed her Ph.D. at the
386:French women computer scientists
103:École normale supérieure de Lyon
33:École normale supérieure de Lyon
290:(thesis), Paris-Sud University
1:
407:
371:French computer scientists
170:Formal Methods Laboratory
74:floating-point arithmetic
66:automated theorem proving
349:publications indexed by
86:Paris-Saclay University
284:Boldo, Sylvie (2014),
93:in computer science.
111:Paris-Sud University
97:Education and career
38:Paris-Sud University
322:; Pavel S. Pankov,
70:computer arithmetic
314:: Manfred Kerber,
76:operations and of
59:
58:
398:
329:
308:
302:
301:
296:
295:
281:
275:
274:
273:
272:
258:
252:
251:
250:
249:
235:
229:
228:
227:
226:
213:
204:
203:
202:
201:
186:
180:
179:
178:
177:
162:
19:
406:
405:
401:
400:
399:
397:
396:
395:
356:
355:
338:
333:
332:
309:
305:
293:
291:
283:
282:
278:
270:
268:
260:
259:
255:
247:
245:
237:
236:
232:
224:
222:
215:
214:
207:
199:
197:
194:Toccata project
188:
187:
183:
175:
173:
164:
163:
159:
154:
132:
99:
36:
24:
17:
12:
11:
5:
404:
402:
394:
393:
388:
383:
378:
373:
368:
358:
357:
354:
353:
351:Google Scholar
344:
337:
336:External links
334:
331:
330:
303:
276:
262:"Sylvie Boldo"
253:
239:"Sylvie Boldo"
230:
205:
190:"Team members"
181:
156:
155:
153:
150:
149:
148:
142:
131:
128:
98:
95:
57:
56:
53:
52:Known for
49:
48:
45:
41:
40:
30:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
403:
392:
389:
387:
384:
382:
379:
377:
374:
372:
369:
367:
366:Living people
364:
363:
361:
352:
348:
345:
343:
340:
339:
335:
328:
325:
321:
317:
313:
307:
304:
300:
289:
288:
280:
277:
267:
263:
257:
254:
244:
240:
234:
231:
220:
219:
212:
210:
206:
195:
191:
185:
182:
171:
167:
161:
158:
151:
146:
143:
140:
137:
136:
135:
129:
127:
125:
124:
118:
116:
112:
108:
104:
96:
94:
92:
87:
83:
79:
75:
71:
67:
63:
54:
50:
46:
44:Occupation(s)
42:
39:
34:
31:
27:
20:
347:Sylvie Boldo
311:
306:
297:– via
292:, retrieved
286:
279:
269:, retrieved
265:
256:
246:, retrieved
242:
233:
223:, retrieved
217:
198:, retrieved
193:
184:
174:, retrieved
169:
160:
144:
138:
133:
121:
119:
114:
107:habilitation
100:
62:Sylvie Boldo
61:
60:
23:Sylvie Boldo
310:Reviews of
243:IEEE Xplore
360:Categories
320:1385.68001
294:2021-09-13
271:2021-09-13
248:2021-09-13
225:2021-09-13
200:2021-09-13
176:2021-09-13
152:References
123:agrégation
91:agrégation
78:algorithms
342:Home page
166:"Members"
29:Education
327:3729304
318:
266:ORCID
130:Books
68:and
316:Zbl
299:HAL
109:at
362::
324:MR
264:,
241:,
208:^
192:,
168:,
117:.
35:,
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.