Guillaume Melquiond

English version

Guillaume Melquiond

Je suis chargé de recherche Inria dans l'équipe Toccata / VALS au LRI (Université Paris Sud).

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)

Livre, chapitre 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 : LRI - 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 : 25 novembre 2016.