Enseignement à l'X - 2000/2009
Cours
Informatique parallèle et distribuée INF560 (2011-2012)
Mineure Parallélisme (SICS 2000-2001)
DEA Sémantique, Preuve et Programmation (2001-2003)
Cours Concurrence (MPRI 2005-2006)
Quelques pointeurs
Le coin des élèves
La Majeure Informatique Fondamentale
Pages :
La page de Patrick Cousot
,
la page de Éric Goubault
Pour me joindre...
Éric Goubault
CEA
91191-Gif sur Yvette
Tel: (33) 1-69 08 94 72
Eric.Goubault@cea.fr