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:

Journals:

Conferences:

Invited talks:

Some reports:

Software development

Projects and grants

Contact information

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

Other resources


Last update: July 16th, 2015.