Pierre COURTIEU

Photo

Je suis maître de conférences au CNAM Paris. Dans l'équipe CPR du laboratoire Cédric. Par ailleurs je serai en CRCT (congé pour recherche) dans l'équipe Proval du LRI, du 1er octobre 2012 au 31 mars 2013

Recherche

Je m'intéresse à la preuve formelle et/ou automatique. Projets actuels: Anciens projets:

Enseignement

Master SEMS

ENSIIE

Documentations

Quelques pages d'enseignements au cnam

DUT IT Cnam Paris

Programmes


Last modified: Wed Sep 6 18:04:42 CEST 2006