Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > GARCHERY Quentin
Présentation
M. GARCHERY Quentin
GARCHERY Doctorant
Université Paris-Sud
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