Trainings

This section summarize and recalls all trainings I have proposed/supervised.

PRM

Master 1 - 06/07
Spécification et implémentation d’un “compilateur de compilateur”
(Stage d’été réalisé par S. A. et G. A.)
Master 2- 07/08
Analyses de types dans un langage utilisant des modules et du raffinement de classes
(Stage de réalisé par S. A.)

Autres

Licence 3 - 07/08
iCp un daemon de copie parallèle et série. (Stage réalisé par …)
Mar 25 sep 2012 11:23:30 CEST