English version

Stéphane Glondu

Ingénieur de recherche - Inria Nancy Grand Est - SED
Docteur en informatique (Université Paris Diderot - Paris 7)
Ancien élève de l'ENS Cachan
Mél : prenom@nom.net, prenom.nom@inria.fr
ma photo

Divers

Publications

Développements Coq

Rapports de stage


Dernière mise à jour: 2018-05-19. Découvrez le langage O'Caml ! Valid XHTML 1.0!