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


Programmes

Libraries Coq


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