Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > CLOCHARD Martin
Présentation
M. CLOCHARD Martin
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
Thèse en cours   - Un langage unique pour à la fois développer des programmes et les prouver