Pierre COURTIEU
| 
|
Je suis maître de conférences au CNAM Paris.
Je fais partie du projet ANR blanc
A3PAT,
du projet ARA CompCert
et du projet SESUR SCALP.
Recherche
Je m'intéresse à la preuve formelle et/ou automatique.
Enseignement
Master SEMS
-
Page du master SEMS
- Emploi du temps du master SEMS (code UE: MR069)
- Emploi du temps de STAP et
VERIF
- Plan du Cnam
-
Accéder au Cnam
- Codes des UE:
- SMB203 : Informatique ambiante : gestion de données et algorithmes (GDApIA)
- SMB205 : Réseau et mobilité (REMO)
- SMB209 : Réseaux et capteurs pour l'intelligence ambiante (RECIA)
- SMB206 : Smart Objects sécurisés (SMOS)
- SMB204 : Systèmes embarqués et enfouis (SEE)
- SMB207 : Systèmes embarqués pour la téléphonie mobile (SETMO)
- SMB210 : Sémantique, typage et analyse de programme (STAP)
- SMB212 : Vérification de programmes (VERIF)
- SMB208 : Sécurité et sûreté de fonctionnement l'embarqué mobile avancées 1
(SECSdF1)
- SMB211 : Sécurité et sûreté de fonctionnement l'embarqué mobile 2 (SECSdF2)
Documentations
Quelques pages d'enseignements au cnam
Programmes
Last modified: Wed Sep 6 18:04:42 CEST 2006