Précédent : Actions d'enseignement Remonter : Actions d'enseignement Suivant : Autres actions d'enseignement

Enseignement universitaire

Ecole Polytechnique

J.-J. Lévy est professeur à l'École Polytechnique. Il a fait le cours "Systèmes et Réseaux" de majeure 2ème année [10] au printemps 96, en étant assisté de D. Doligez, R. Ehrlich, F. Rouaix (projet CRISTAL ) et F. Ruget (Chorus systèmes). Il est par ailleurs responsable du cours "Algorithmes et Programmation" de tronc commun de première année (30 enseignants, 440 élèves, rédaction du polycopié disponible sur le Web [9], cours en amphi et petites classes, projets informatique), qu'il organise toutes les années paires en alternance avec R. Cori. Il l'a donc effectué à l'automne 96.

G. Gonthier est maître de conférence à l'École Polytechnique. Il est responsable des contrôles de classement et des projets informatiques.

D. Doligez et R. Ehrlich ont effectué des vacations pour les travaux pratiques du cours "Systèmes et Réseaux" au printemps 96.

Université Paris 6

T. Hardin est professeur à l'université Paris 6. Elle y assure le cours de programmation et structures de données dans la maîtrise de sciences et techniques d'informatique et y encadre plusieurs stages en entreprise. Elle est également chargée du cours de licence d'informatique sur les fondements de la programmation.

Elle anime à l'Université Paris 6, en collaboration avec V.\ Donzeau-Gouge (CNAM), un groupe de recherches sur l'utilisation des systèmes d'aide à la preuve (Coq, PVS, B) dans la spécification et la programmation.

DEA SPP

T. Hardin effectue le cours "Aspects syntaxiques pour le calcul" du tronc commun du DEA Sémantique, Preuves et Programmation, affilié à Paris 6, l'ENS et Orsay. J.-J. Lévy et G. Gonthier participent à la filière concurrence asynchrone du même DEA. T. Hardin et J.-J. Lévy sont membres du comité de direction de ce DEA.

ENSTA

L. Maranget a assuré une série de séances de travaux dirigés à l'École nationale supérieure des techniques avancées (ENSTA), à raison d'une séance hebdomadaire de deux heures pendant les mois de janvier et février. Le cours portait sur la programmation fonctionnelle en SML et s'adressait aux élèves de deuxième année.

Précédent : Actions d'enseignement Suivant : Autres actions d'enseignement Remonter : Actions d'enseignement