Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > CLOCHARD Martin
Présentation
M. CLOCHARD Martin

ATTENTION : ce membre a quitté le laboratoire le 31/03/2018
 
Doctorant
INRIA
Vérification d'Algorithmes, Langages et Systèmes

Tel : 0169157236
Fax :
Bureau : 68/PCRI-S

Page personnelle :
Courrier électronique : Martin.Clochard@lri.fr

Activités de recherche
   - Vérification déductive de programmes


Projets
   - Toccata









Thèses et habilitations
Doctorat   - Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels