Précédent : Animation de la communauté scientifique Remonter : Diffusion de résultats Suivant : Autres enseignements
Précédent : Animation de la communauté
scientifique Remonter : Diffusion de résultats
Suivant : Autres enseignements
Michel Mauny a encadré la thèse de Christian Rinderknecht et encadre celle de Robert Harley.
Didier Rémy a encadré la thèse de François Pottier et encadre celle de Jérôme Vouillon.
Pierre Weis encadre la thèse de Jun Furuse.
Xavier Leroy a été rapporteur de la thèse de Davide Ancona (université de Gênes, janvier 1998) et examinateur extérieur de la thèse de Martin Elsman (DIKU, Copenhague, décembre 1998).
Michel Mauny a été rapporteur de la thèse d'Emmanuel Engel (Paris 11, avril 1998), examinateur de celle de Christian Rinderknecht (Paris 6, décembre 1996) et rapporteur de celle de Frédéric Lang (ENS-Lyon, décembre 1998).
Xavier Leroy, Michel Mauny et Didier Rémy ont co-encadré le stage de Yong Xiao.
Xavier Leroy assure le cours Typage et Programmation dans le DEA SPP. Ce cours était auparavant donné par Didier Rémy, jusqu'à l'année universitaire 1997-98 incluse.
Michel Mauny est membre de l'équipe de direction du DEA «Sémantique, Preuves et Programmation» (SPP) (Paris 6-7-11, X, ENS).
Xavier Leroy et Pierre Weis ont donné un cours d'introduction à Objective Caml (6h) à l'École Normale Supérieure de Cachan.
Michel Mauny a donné une semaine de cours/TD (15h) de Programmation Fonctionnelle à l'ISIA (Sophia-Antipolis).
Didier Rémy a assuré des travaux dirigés du Tronc Commun à l'École Polytechnique pendant l'année 97-98, ainsi que des travaux dirigés de Compilation, en temps de Chef de Travaux Pratiques (104 h). Il est Maître de Conférence à temps partiel à l'École polytechnique depuis septembre 98.
Pierre Weis assure des travaux dirigés (72h) à l'École Polytechnique comme Chef de Travaux Pratiques, dans le cadre du tronc commun d'informatique dirigé par Jean-Jacques Lévy et Robert Cori.
François Pessaux a assuré l'encadrement des travaux dirigés du Tronc Commun d'informatique des élèves de l'Ecole Polytechnique. Ces travaux dirigés ont débuté en septembre 1998 et se poursuivra jusqu'en février 1999, pour un total de 72 heures.
François Pottier occupe, depuis septembre 1998, un poste d'ATER à mi-temps à l'Université Paris 7 (96h). Il effectue des travaux dirigés de programmation objet et de programmation système, pour des étudiants de licence.
Jérôme Vouillon a depuis septembre 1998 une allocation couplée à l'Université Paris 7. Il effectue des travaux pratiques d'algorithmique (64h). Il s'agit d'un enseignement du langage Caml Light en deuxième année de DEUG.