Guillaume Melquiond

Version française

Guillaume Melquiond

I am an Inria researcher in the Toccata team from the LMF laboratory (Université Paris Saclay).

Research interests

My work lies at the intersection between the domains of computer arithmetic and formal proof.

Publications (bibtex)

Handbook of Floating-Point Arithmetic
Computer Arithmetic and Formal Proofs

Books, book chapters, and theses:

Journals:

Conferences:

Invited talks:

Some reports:

Software development

Projects and grants

Contact information

E-mail: guillaume.melquiond@inria.fr
Address: LMF - Bâtiment 650
Université Paris-Sud
91405 ORSAY cedex
FRANCE
Phone: +33 1 69 15 70 98

Other resources


Last update: June 16th, 2021.