Home
>
About LRI
>
Personnel
> MARTIN-DOREL Erik
About LRI
Organisation chart
LRI members
Leadership
Activity report
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
Mr MARTIN-DOREL Erik
Warning: this member left the laboratory on 30/09/2015
Post-doctorant
INRIA
Verification of Algorithms, Languages and Systems
Tel : +33 1 74 85 42 68
Fax :
Office : 70/PCRI-S
Personal web page :
http://erik.martin-dorel.org/
Email :
Erik.Martin-Dorel@lri.fr
Research activities
-
Formalisation and Proof of Numerical Programs
Joint Inria project teams
-
Toccata
