Guillaume Melquiond

Version française

Guillaume Melquiond

I am an Inria researcher in the Toccata / VALS team from the LRI (Université Paris Sud).

Research interests

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

Publications (bibtex)

Book, book chapter, and PhD thesis:



Invited talks:

Some reports:

Software development

Projects and grants

Contact information

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

Other resources

Last update: August 29th, 2016.