Accueil
>
Présentation
>
Personnel
> MARTIN-DOREL Erik
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
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
