English version

Stéphane Glondu

Ingénieur de recherche - Centre Inria de l'Université de Lorraire
CTO et co-fondateur VCAST - Inria Startup Studio
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: 2023-10-17. Découvrez le langage O'Caml ! Valid XHTML 1.0!