Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > MELQUIOND Guillaume
Présentation
M. MELQUIOND Guillaume
Chargé de Recherche 2
INRIA
Vérification d'Algorithmes, Langages et Systèmes

Tel : 01 69 15 70 98
Fax :
Bureau : 41/PCRI-S

Page personnelle : https://www.lri.fr/~melquion/
Courrier électronique : guillaume.melquiond@inria.fr

Activités de recherche
   - Démonstration automatique, SMT et applications
   - Formalisation et preuves de programmes numériques
   - Vérification déductive de programmes

Publications

Projets
   - Toccata




Responsabilités administratives
   - Membre Commission Matériel

Responsabilités de contrats
   - VERASCO


Logiciels et brevets
   - Gappa : Outil Gappa de certification de programmes numériques
   - Coq.Interval : Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles
   - Flocq Library : Flocq Library
   - The Coquelicot library : The Coquelicot library



Participations à des contrats
   - FOST
   - HISSEO
   - U3CAT
   - VERASCO
   - DIM COQUELICOT