Accueil
>
Présentation
>
Personnel
> ZUCCHINI Rébecca
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
Mme ZUCCHINI Rébecca
Doctorant
Université Paris-Saclay
Vérification d'Algorithmes, Langages et Systèmes
Tel :
Fax :
Bureau : 39/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