Laboratoire de Recherche en Informatique

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