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 : 64/PCRI-S

Page personnelle : http://gallium.inria.fr/~gmevel/
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