French version (more complete)

Stéphane Glondu

Research engineer - Inria Nancy Grand Est - SED
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: 2018-05-19. Discover Objective Caml! Valid XHTML 1.0!