Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > PASCUTTO Clément
Présentation
M. PASCUTTO Clément
Doctorant
unknown
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 64/PCRI-S

Page personnelle :
Courrier électronique : Clement.Pascutto@lri.fr











Thèses et habilitations
Thèse en cours   - Vérification dynamique et déductive de programmes OCaml et application à des structures de données distribuées