Fran├žais Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > MARTIN-DOREL Erik
About LRI
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