Chercheur à l’Inria–Rocquencourt.

Activité en 2008–2009

• Le cours Introduction à la théorie des langages de programmation (INF544).

Archives

• Le cours Bases de la programmation de de l’algorithmique (INF421). Page du cours, page des amphis. Assuré en 2003-2008, si je me souviens bien.
• Le cours de compilation assuré en 2002–2004, actuellement enseigné par François Pottier.
• Des travaux pratiques de Caml.
• Des petites classes du cours « informatique fondamentale » (ou 431) datant de 2001-2002.
• Des examens.
  • Contrôles classants du cours INF431 (avec corrigé), années 2006 et 2007.
• Divers projets de programmation du cours « Informatique fondamentale/431 »,
  • Fabrication de pseudonymes
  • Factorisation par la méthode du crible quadratique
  • Anagrammes
  • Optimiser le HTML
  • Reconnaissance de motifs avec erreurs
• Des travaux pratiques du cours de tronc commun de 2000 (maintenant 311-421-321).

This document was translated from L^AT_EX by H^EV^EA.