Pierre COURTIEU

Je suis maître de conférences au CNAM Paris.

Recherche

• L'introduction de ma thèse
• Publications
• Coq
• Cime
• ProofGeneral

Enseignement

Master LS

• Page du master LS
• Emploi du temps du master LS
• Plan du Cnam
• transparents sur les poltitiques d'accès
• Accéder au Cnam
• Poly de logique de hoare (cours SAS)

Documentations

• Pour installer ocaml + make sous windows Consulter la rubrique suivante: http://deptinfo.cnam.fr/new/spip.php?article855
• Emacs avec les raccourcis Windows
• tuareg emacs config

Quelques pages d'enseignements au cnam

• NFP119 Programmation Fonctionnelle Conception et Analyse
• NFP209 Construction rigoureuse des logiciels
• NFP101 Programmation et développement orientés objets
• Algo/Prog DUT informatique
• GLG105 : Génie logiciel + La page de P. Lignelet qui contient les infos

DUT IT Cnam Paris

Programmes

• Some emacs stuff
• Une calculette à bande