Guillaume Melquiond

Guillaume Melquiond

Guillaume Melquiond is Inria researcher in the Toccata / VALS team from the LRI (Université Paris Sud). His work lies at the intersection between the domains of computer arithmetic and formal proof. His research interests include the automated proof of numerical properties, formal verification of programs, formalization of arithmetic and interval arithmetic. He is member of the IEEE 1978 committee for standardizing interval arithmetic and he follows the evolution of the C++ language with respect to support for scientific computations.

Affiliations and Expertise

Researcher, INRIA, Orsay, France

Book

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