Laboratoire de Recherche en Informatique

Mme ZUCCHINI Rébecca

		Doctorant ENS Paris Saclay Vérification d'Algorithmes, Langages et Systèmes Tel : Fax : Bureau : 70/PCRI-S Page personnelle : Courrier électronique : Rebecca.Zucchini@lri.fr
Responsabilités administratives - Membre du conseil de laboratoire Thèses et habilitations Thèse en cours - Langage certifie en Coq pour la provenance de données issues d'analyses bioinformatiques