Français English

Teaching

Current

• Tutoring at École Polytechnique

  In 2012-2013, I do the following tutorial classes at École Polytechnique:
  • INF422: Introduction to Computer Architecture and Operating Systems. The tutorial classes manipulate simple Android applications.
  
  
  • INF551: Computer-aided reasoning. The tutorial classes introduce Coq and automated theorem provers.
    
    To install Coq:
    • Under Windows: binary
    • Under Linux: 32bits binary, 64bits binary (requires gcc and emacs)
      One has to compile ProofGeneral, and add to the .emacs file:
      (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))
      
    • Under MacOs: package containing Coq and Ssreflect
      You must also get ProofGeneral and add to the .emacs file:
      (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))
      
    • Under Linux and MacOS: script to compile everything (requires gcc and emacs)
  
  
  • INF549: Introduction to Objective Caml
  
  Before, I used to do tutorial classes for INF431 and INF321.

Past

• 2010-2012: java tutorial classes at École Polytechnique (for INF431 and INF321)
• 2010: in charge of the course Proofs of Programs at ENSTA in Paris
• 2009-2010: Tutorial class of Maple in MP*4 at lycée Louis-le-Grand in Paris
• 2007-2008: Oral interrogations of mathematics in PCSI at lycée du Parc in Lyon
• 2007-2008: Tutorial class of Maple in PT at lycée La Martinière in Lyon

Top of the page

Last update: 09/25/12