Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > DENIS Xavier
About LRI
Mr DENIS Xavier
Doctorant
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 65/PCRI-S

Personal web page :
Email : xavier.denis@lri.fr



Joint Inria project teams
   - Toccata








Ph.D. dissertations & Faculty habilitations
Thesis in progress   - Verification Deductive de programmes avec typage a la Rust