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
Dernière mise à jour le 25 septembre 2012