Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > MELQUIOND Guillaume
About LRI
Mr MELQUIOND Guillaume
Chargé de Recherche 2
INRIA
Verification of Algorithms, Languages and Systems

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

Personal web page : https://www.lri.fr/~melquion/
Email : guillaume.melquiond@inria.fr

Research activities
   - Automated Proof, SMT and Applications
   - Formalisation and Proof of Numerical Programs
   - Deductive Verification of Programs

Publications

Joint Inria project teams
   - Toccata



Leadership positions
   - Equipment Committee Member

Principle investigator
   - VERASCO


Software & Patents
   - Gappa: Gappa, a tool for certifying numerical applications
   - Coq.Interval: The Coq.Interval library for automatically proving bounds of real-valued expressions
   - Flocq Library: Flocq Library
   - The Coquelicot library: The Coquelicot library
   - Coq: The Coq proof assistant


Ph.D. dissertations & Faculty habilitations
Faculty habilitation   - Formal Verification for Numerical Computations,and the Other Way Around

Contracts & Grants
   - FOST
   - HISSEO
   - U3CAT
   - VERASCO
   - DIM COQUELICOT -Convention Proje
   - SOPRANO
   - FastRelax