Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > GARCHERY Quentin
About LRI
Mr GARCHERY Quentin

Warning: this member left the laboratory on 30/09/2021
 
GARCHERY Doctorant
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 65/PCRI-S

Personal web page : ~garchery
Email : Quentin.Garchery@lri.fr

Research activities
   - Deductive Verification of Programs

Publications

Joint Inria project teams
   - Toccata








Ph.D. dissertations & Faculty habilitations
Thesis in progress   - Certification de la génération et de la transformation d'obligations de preuves