Next: Publications
Up: Eléments d'appréciation de l'activité
Previous: Encadrement doctoral
- MMMFAI (Magistère de mathématiques fondamentales et appliquées
et d'informatique, ENS Ulm)
Y. Caseau, G. Castagna, G. Cousineau, P. Cousot,
R. Di Cosmo, F. Fages [360],
M. Fernández, É. Goubault, F. Laburthe,
M. Laurent, P. Matherat, B. Monsuez, M. Pocchiola, P. Ruet,
J. Stern, S. Vaudenay, F. Védrine. - École Polytechnique
P. Cousot, R. Cridlig, F. Fages [361],
É. Goubault, L. Mauborgne, B. Monsuez, P. Ruet,
S. Vaudenay. - ISIA, École des Mines de Paris, Sophia-Antipolis
F. Fages. - ENSTA
R. Cridlig, É. Goubault, F. Védrine. - IMAC (3ème année d'école d'ingénieur)
D. Pointecheval
- DEA IMA 93/94
(École Polytechnique, ENS,
Universités Paris VI, VII, XI, en convention avec l'INRIA)
P. Cousot, M. Pocchiola, J. Stern - DEA IMA 94/95
P. Cousot, J.-M. Couveignes, F. Fages, M. Pocchiola, J. Stern - DEA Algorithmique 95/96 et 96/97
(École Polytechnique, ENS Ulm, ENS Cachan,
Universités Paris VI, VII, XI, en convention avec l'INRIA)
J.-M. Couveignes, M. Pocchiola, J. Stern - DEA SPP 95/96 (Sémantique, Preuves er Programmation,
ENS, CNAM, Universités Paris VI, XI)
G. Castagna, P.-L. Curien, R. Di Cosmo,
F. Fages, G. Longo - DEA SPP 96/97
G. Castagna, P.-L. Curien, R. Di Cosmo
F. Fages, P. Ruet, G. Longo - DEA Informatique 95/96 et 96/97
(Universités Paris XI, XII, ENS Cachan, Sup'Elec)
G. Castagna - DEA Théorie et Ingénierie des Bases de Données
à partir de 93 (Universités Paris I - Paris XI)
G. Castagna
(co-responsable)
- DEA IFA 95/96 et 96/97
(Université de Marne-la-Vallée)
M. Pocchiola - DESS Génie Informatique 93/94 à 96/97 (Paris XIII)
C. Codognet - DESS Univ. Caen 96/97
D. Pointcheval - ENST (3ème année)
P. Matherat
Louis.Granboulan@ens.fr