Sylvie Boldo

Sylvie Boldo

Sylvie Boldo is part of the Inria Saclay - Île-de-France research unit and in the VALS team of the Laboratoire de Recherche en Informatique (CNRS and Université Paris-Sud). Her research interests include floating-point arithmetic, formal methods and proof assistants such as Coq, and formal verification of programs and numerical programs.

Affiliations and Expertise

Researcher, INRIA, Orsay, France


Authors: Sylvie Boldo & Guillaume Melquiond Release Date: 01 Dec 2016
Print Book:
USD 127.50
USD 150.00