Pierre COURTIEU

Photo

Position

Je suis maître de conférences au CNAM Paris depuis 2005. Dans l'équipe CPR du laboratoire Cédric.

Par ailleurs


Recherche

Je m'intéresse à la preuve formelle et/ou automatique et en particulier à la preuve de programmes. Anciens projets:

Enseignement

Master SEMS

ENSIIE

Documentations

Quelques pages d'enseignements au cnam

NFA031: Squelette TP 10
Sujet TP 10

Programmes

Libraries Coq


Conservatoire National des Arts et Métiers (CNAM)
EPN 5 – Département INFORMATIQUE
L'EQUIPE PEDAGOGIQUE
Case courrier 9 : AISL
A L'ATTENTION DE :
PIERRE COURTIEU
2, rue Conté
75003 PARIS
(autres équipes:)
Last modified: Wed Sep 6 18:04:42 CEST 2006