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:



Invited talks:

Some reports:

Software development

Projects and grants

Contact information

Address: LMF - Bâtiment 650
Université Paris-Sud
91405 ORSAY cedex
Phone: +33 1 69 15 70 98

Other resources

Last update: July 27th, 2023.