Fran├žais Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > MEVEL Glen
About LRI
Mr MEVEL Glen
Doctorant
INRIA
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 64/PCRI-S

Personal web page : http://gallium.inria.fr/~gmevel/
Email : Glen.Mevel@lri.fr











Ph.D. dissertations & Faculty habilitations
Thesis in progress   - Towards a system for proving the correctness of concurrent multicore ocaml programs