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