Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > GARCHERY Quentin
Présentation
M. GARCHERY Quentin

ATTENTION : ce membre a quitté le laboratoire le 30/09/2021
 
GARCHERY Doctorant
Université Paris-Saclay
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 65/PCRI-S

Page personnelle : ~garchery
Courrier électronique : Quentin.Garchery@lri.fr

Activités de recherche
   - Vérification déductive de programmes

Publications

Projets
   - Toccata









Thèses et habilitations
Thèse en cours   - Certification de la génération et de la transformation d'obligations de preuves