Précédent : Actions d'enseignement Remonter : Actions d'enseignement Suivant : Encadrement de stagesthèses

Enseignement universitaire et grandes écoles

Universités - 3ème cycle

 
Guy Cousineau est responsable du DEA ``Sémantique, Preuves et Programmation'' (Paris 6-7-11, X, ENS), et y assure un cours de mise à niveau d'une semaine en programmation fonctionnelle.

Didier Rémy, Xavier Leroy et Michel Mauny donnent un cours intitulé ``Typage et Programmation'' dans le tronc commun de ce DEA (20 heures au total).

Xavier Leroy assure un cours d'option de ce DEA sur la compilation des langages fonctionnels et impératifs (20h).

École Normale Supérieure (Paris)

 
En collaboration avec Roberto Dicosmo (ENS-Paris), Didier Rémy a enseigné un cours d'initiation aux objets à l'École Normale Supérieure de la rue d'Ulm, en s'appuyant sur le langage Objective Caml (16 h).

École Polytechnique

 
Christian Queinnec a une demi-charge de Maître de Conférences à l'École Polytechnique où il enseigne l'interprétation de Scheme.

Michel Mauny, Didier Rémy et Pierre Weis sont Chefs de Travaux Dirigés d'Informatique à temps partiel à l'École Polytechnique. À ce titre, ils enseignent dans le tronc commun de première année (52h). Pierre Weis participe activement à l'introduction du langage Caml dans les cours d'informatique de l'École Polytechnique. Il a écrit une annexe de cinquante pages au polycopié du cours de tronc commun d'informatique. Pierre Weis y fait une introduction didactique au langage Caml et traduit en Caml les algorithmes du cours.

François Rouaix a participé à l'enseignement de Systèmes et Réseaux de la Majeure 2 d'Informatique de l'Ecole Polytechnique (20h).

CNAM

 
Pierre Weis est professeur associé au CNAM (contrat Barre) où il assure des cours de Caml en amphithéâtre avec 450 étudiants (2 heures hebdomadaires).

Écoles d'Ingénieurs

 
Michel Mauny a donné une semaine de cours de Programmation Fonctionnelle à l'ISIA (École des Mines de Paris, Sophia-Antipolis).

Universités - 1er et 2ème cycle

 
Valérie Ménissier-Morain a occupé un poste d'ATER à l'université d'Évry Val d'Essonne. Elle y a enseigné (cours/TD/TP) l'algorithmique avec Caml en licence de mathématiques (30h) ainsi que la programmation fonctionnelle et impérative en Caml en DEUG MIAS première année (52,5h de cours, 90h de TD). Ce dernier cours était nouveau et a donné lieu à la rédaction d'un support de cours de plus de 140 pages, en collaboration avec Catherine Dubois, qui devrait se transformer l'an prochain en un livre [25].

François Pottier est chargé de travaux pratiques d'algorithmique à l'Université Paris 7 (64h).

Christian Rinderknecht, dans le cadre de sa troisième année de monitorat, a enseigné l'algorithmique et la programmation en seconde année de DEUG (Paris 7) et en seconde année à l'IUP (Paris 7). (64 h)

Émilie Sayag a assuré des travaux dirigés de Caml Light à l'université d'Evry-Val d'Essonne (24h) au cours du premier semestre 1996.

Depuis septembre 1996, Émilie Sayag occupe un poste d'Attaché Temporaire d'Enseignement et de Recherche à l'université Paris 7.

Précédent : Actions d'enseignement Suivant : Encadrement de stagesthèses Remonter : Actions d'enseignement