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 - Membre comité de pôle C, École Doctorale STIC Thèses et habilitations Thèse en cours - Langage certifie en Coq pour la provenance de données issues d'analyses bioinformatiques