Pierre COURTIEU

Photo
TP IO FIPJAVA Cours IO 1 - FIPJAVA

Position

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

Par ailleurs


Recherche

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

Enseignement

DIU EIL

NFA031

Corrections aux tableaux: ED3.java
ex3_1.java
MaxNombre.java

NFA035

Corrections aux tableaux:

Master M2IF -- option Automated Deduction, and opening to Distributed Algorithms"

Master SEMS

ENSIIE

Documentations

Quelques pages d'enseignements au cnam

NFA031: Squelette TP 10
Sujet TP 10

Programmes

Libraries Coq