Home
>
About LRI
>
Personnel
> FAISSOLE Florian
About LRI
Organisation chart
LRI members
Leadership
Activity report
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
Mr FAISSOLE Florian
Warning: this member left the laboratory on 13/12/2019
Doctorant
INRIA
Verification of Algorithms, Languages and Systems
Tel :
Fax :
Office : 75/PCRI-S
Personal web page :
Email :
Florian.Faissole@lri.fr
Ph.D. dissertations & Faculty habilitations
Ph.D -
Formalizations of error analysis in numerical analysis and floating-point arithmetic
