Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > MARTIN-DOREL Erik
Présentation
M. MARTIN-DOREL Erik

ATTENTION : ce membre a quitté le laboratoire le 30/09/2015
 
Post-doctorant
INRIA
Vérification d'Algorithmes, Langages et Systèmes

Tel : +33 1 74 85 42 68
Fax :
Bureau : 70/PCRI-S

Page personnelle : http://erik.martin-dorel.org/
Courrier électronique : Erik.Martin-Dorel@lri.fr

Activités de recherche
   - Formalisation et preuves de programmes numériques


Projets
   - Toccata