English version Stéphane Glondu Doctorant au laboratoire PPS (Université Paris Diderot - Paris 7) Ancien élève de l'ENS Cachan Mél : prenom@nom.net

Vous pouvez consulter:

• le développement Coq de l'extraction formalisée dans Coq-en-Coq;
• l'arbre généalogique scientifique de quelques personnes de mon entourage (.dot) (toute information supplémentaire est la bienvenue);
• mon nombre de Erdos illustré (.dot);
• le rapport du stage de M2 que j'ai effectué en 2007 à PPS sous la direction de Pierre Letouzey;
• le rapport du stage de M1 que j'ai effectué en 2006 à Keio University sous la direction de Mitsuhiro Okada;
• le rapport du stage de L3 que j'ai effectué en 2005 à l'UC Davis sous la direction de Zhendong Su, et les transparents de la présentation;
• des trucs relatifs au MPRI;
• des trucs relatifs aux TP d'informatique que je donne à Stanislas;
• mes projets dans le cadre du magistère STIC (1re année):
  • JasTeX 1.99.1: rapport - projet;
  • Carrés diaboliques: rapport - projet;
  • Compilateur Mini-Caml: rapport - projet;
  • Étude de la vitesse de convergence d'une chaîne de Markov ergodique vers sa mesure stationnaire (avec Charles Bouillaguet): rapport - projet.
• l'intégralité du cours de probabilités discrètes du magistère STIC (première année - 2004/05): pdf - sources;
• mon TIPE sur les arbres binaires de recherche équilibrés:
  • le rapport ENS;
  • les transparents;
  • le projet complet;
• la présentation sur la télévision par le réseau que j'ai faite dans le cadre du Séminaire Technique du Cr@ns (transparents - source);
• ma clé GPG publique (et mon graphe de confiance);

• trouver des chemins de confiance vers moi, en entrant l'id de votre clé:

Dernière mise à jour: Fri Oct 31 01:11:41 CET 2008. Site hébergé par le Cr@ns.