Français English

Enseignement

Actuel

• Monitorat à l'École Polytechnique

  En 2012-2013, je donne ces TDs à l'École Polytechnique:
  • INF422: Introduction to Computer Architecture and Operating Systems. Les TDs consiste en la manipulation d'applications Android très simples.
  
  
  • INF551: Computer-aided reasoning. Les TDs sont une introduction à Coq et aux prouveurs automatiques.
    
    Pour installer Coq:
    • Sous Windows: binaire
    • Sous Linux: binaire 32bits, binaire 64bits (nécessite gcc et emacs)
      Il faut quand même compiler ProofGeneral et ajouter au fichier .emacs:
      (load-file "ssrcoq-8.4-1.4/ProofGeneral-3.7.1/generic/proof-site.el")
      (load-file "ssrcoq-8.4-1.4/ssreflect-1.4/pg-ssr.el")
      (custom-set-variables '(coq-prog-name "ssrcoq-8.4-1.4/bin/coqtop") '(proof-three-window-enable t))
      
    • Sous MacOs: paquet contenant Coq et Ssreflect
      Il faut en plus ProofGeneral et ajouter au fichier .emacs:
      (load-file "ProofGeneral-3.7.1/generic/proof-site.el")
      (load-file "ProofGeneral-3.7.1/generic/pg-ssr.el")
      (custom-set-variables '(coq-prog-name "PATH/TO/coqtop") '(proof-three-window-enable t))
      
    • Sous Linux et MacOS: script pour tout compiler (nécessite gcc et emacs)
  
  
  • INF549: Cours d'initiation à Objective Caml
  
  Avant, je faisais des TDs java pour les cours INF431 et INF321.

Passé

• 2010-2012: TDs de java à l'École Polytechnique (cours INF431 et INF321)
• 2010: responsable du module Preuve de Programmes à l'ENSTA à Paris
• 2009-2010: TDs de Maple en MP*4 au lycée Louis-le-Grand à Paris
• 2007-2008: colles de mathématiques en PCSI au lycée du Parc à Lyon
• 2007-2008: TDs de Maple en PT au lycée La Martinière à Lyon

Haut de la page

Dernière mise à jour le 25 septembre 2012