Accueil
>
Présentation
>
Personnel
> GARCHERY Quentin
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
M. GARCHERY Quentin
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