French version (more complete) Stephane Glondu PhD student at PPS lab (University Paris Diderot - Paris 7) Former student of ENS Cachan Mail: firstname@lastname.net

Here, you can find:

• the Coq development of the extraction formalized in Coq-in-Coq;
• the scientific family tree of some acquaintances (.dot) (any additional information is welcome);
• my illustrated Erdos number (.dot);
• the report (in French) of my 2007 internship at PPS under the supervision of Pierre Letouzey;
• the report of my 2006 internship at Keio University under the supervision of Mitsuhiro Okada;
• the report of my 2005 internship at UC Davis under the supervision of Zhendong Su.
• my public GPG key (and my trust graph).

Last update: Fri Oct 31 01:13:01 CET 2008. Website hosted by Cr@ns.