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

ATTENTION : ce membre a quitté le laboratoire le 31/12/2008
 
MOY Doctorant
INRIA
Toccata

Tel : (+33) 1 72 92 59 97
Fax : (+33) 1 74 85 42 29
Bureau :

Page personnelle : http://www.lri.fr/~moy/
Courrier électronique : moy@lri.fr

Activités de recherche
   - Démonstration automatique
   - Preuve de programme








Logiciels et brevets
   - Caduceus : Outil Caduceus de vérification de programmes C


Thèses et habilitations
Doctorat   - Preuve automatique et modulaire de la sûreté de fonctionnement des programmes C

Participations à des contrats
   - CAT