Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > DENIS Xavier
Présentation
M. DENIS Xavier
Doctorant
Université Paris-Saclay
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 65/PCRI-S

Page personnelle :
Courrier électronique : xavier.denis@lri.fr



Projets
   - Toccata









Thèses et habilitations
Thèse en cours   - Verification Deductive de programmes avec typage a la Rust