French version (more complete)

Stéphane Glondu

Research engineer - Inria Centre at Université de Lorraine
VCAST CTO and co-founder - Inria Startup Studio
PhD from University Paris Diderot - Paris 7
ENS Cachan alumnus
Mail: firstname@lastname.net, firstname.lastname@inria.fr
ma photo

Miscellaneous

Publications

Developments in Coq

Reports


Last update: 2023-10-17. Discover Objective Caml! Valid XHTML 1.0!