Home
>
About LRI
>
Personnel
> RIEU-HELFT Raphaël
About LRI
Organisation chart
LRI members
Leadership
Activity report
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
Mr RIEU-HELFT Raphaël
Warning: this member left the laboratory on 30/11/2020
Doctorant
unknown
Verification of Algorithms, Languages and Systems
Tel : 0169156658
Fax :
Office : 67/PCRI-S
Personal web page :
Email :
raphael.rieu-helft@lri.fr
Ph.D. dissertations & Faculty habilitations
Ph.D -
Development and verification of arbitrary-precision integer arithmetic libraries
