English version

Stéphane Glondu

Ingénieur de recherche - Inria Nancy Grand Est - LORIA - SED / CARAMEL / CASSIS
Docteur en informatique (Université Paris Diderot - Paris 7)
Ancien élève de l'ENS Cachan
Mél : prenom@nom.net, Prenom.Nom@{in,lo}ria.fr
ma photo

Développements Coq

Publications

Rapports de stage

Divers


Dernière mise à jour: Tue Sep 30 17:59:50 CEST 2014.
Site hébergé par le Cr@ns.
Découvrez le langage O'Caml ! Valid XHTML 1.0!