French version (more complete) Stéphane Glondu PhD student at PPS lab (University Paris Diderot - Paris 7) ENS Cachan alumnus Mail: firstname@lastname.net, Firstname.Lastname@pps.jussieu.fr

Publications

• Extraction certifiée dans Coq-en-Coq.
  Stéphane Glondu.
  In JFLA 2009, Saint-Quentin sur Isère, France, Jan 31-Feb 3, 2009.
• DECKARD: Scalable and Accurate Tree-based Detection of Code Clones.
  Lingxiao Jiang, Ghassan Misherghi, Zhendong Su, and Stéphane Glondu.
  In Proceedings of ICSE 2007, Minneapolis, MN, USA, May 20-26, 2007.

Theses

• Garantie formelle de correction pour l'extraction Coq.
  M.Sc. (ENS Cachan, 2007). Supervised by Pierre Letouzey (Laboratoire PPS, Université Paris Diderot-Paris 7, Paris).
• Analysis of authentication protocols.
  M.Sc. (ENS Cachan, 2006). Supervised by Mitsuhiro Okada and Koji Hasebe (Department of Philosophy, Keio University, Tokyo).
• Uniform and non-structural subtyping. (slides)
  B.Sc. (Université Paris 7/ENS Cachan, 2005). Supervised by Zhendong Su (Department of Computer Science, University of California, Davis).

Miscellaneous

• a snapshot of the Coq development of the extraction formalized in Coq-in-Coq;
• I am deeply involved in a few free software projects: Coq, Ocsigen and Debian (OCaml team);
• the scientific family tree of some acquaintances (.dot) (any additional information is welcome);
• my illustrated Erdos number (.dot);
• I used to be treasurer (2005), then network and system administrator (2005-2009) at Cr@ns;
• my public GPG key (and my trust graph).

Last update: Fri May 8 02:54:31 CEST 2009. Website hosted by Cr@ns.