Français Anglais
Accueil Annuaire Plan du site
Présentation
M. MEVEL Glen
Doctorant
INRIA
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 68/PCRI-S

Page personnelle :
Courrier électronique : Glen.Mevel@lri.fr











Thèses et habilitations
Thèse en cours   - Towards a system for proving the correctness of concurrent multicore ocaml programs