|
 |
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
|
