Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > RIEU-HELFT Raphaël
Présentation
M. RIEU-HELFT Raphaël
Doctorant
unknown
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 67/PCRI-S

Page personnelle :
Courrier électronique : raphael.rieu-helft@lri.fr



Projets
   - Toccata









Thèses et habilitations
Thèse en cours   - Développement et vérification de bibliothèques d'arithmétique entière en précision arbitraire