Guillaume Melquiond

English version

Guillaume Melquiond

Je suis directeur de recherche Inria dans l'équipe Toccata au sein du laboratoire LMF (Université Paris Saclay).

Thèmes de recherche

Mes travaux de recherche se placent à la frontière de l'arithmétique des ordinateurs et de la preuve formelle.

Publications (bibtex)

Handbook of Floating-Point Arithmetic
Computer Arithmetic and Formal Proofs

Livres, chapitres de livre et thèse :

Journaux :

Conférences :

Exposés invités :

Rapports divers :

Développements logiciels

Projets et financements

Pour me contacter

Mail : guillaume.melquiond@inria.fr
Adresse : LMF - Bâtiment 650
Université Paris-Sud
91405 ORSAY cedex
FRANCE
Téléphone : +33 1 69 15 70 98

Autres ressources


Dernière mise à jour : 27 juillet 2023.