Projet : PARA

Précédent : Animation de la communauté scientifique Remonter : Diffusion de résultats Suivant : Participation à des colloques, séminaires,

   
Enseignement universitaire

Notre projet participe aux enseignements suivants:

• Algorithmes et programmation à l'Ecole polytechnique (G. Gonthier, J.-J. Lévy, L. Maranget, B. Blanchet). J.-J.Lévy est responsable du cours 96-97, 1ère année de l'X, G. Gonthier est responsable des projets informatique, B. Blanchet et L. Maranget assurent les travaux pratiques. [[10]]
• Langages et compilation à l'Ecole polytechnique (J.-J. Lévy). J.-J. Lévy est responsable du cours 97-98, 2ème année de l'X. L. Maranget assure les travaux dirigés en 98-99. [[11]]
• Concurrence et mobilité au DEA Sémantique, preuves et programmation
  (G. Gonthier et J.-J. Lévy).
• Interprétation abstraite au DEA Sémantique, preuves et programmation
  (A. Deutsch avec P. Granger de l'ENSTA).
• Aspects syntaxiques du lambda-calcul au DEA Sémantique, preuves et programmation (T. Hardin).
• Programmation fonctionnelle avancée à l'ENSTA, cours de 2ème année
  (A. Deutsch et B. Blanchet)
• Compilation: aspects sémantiques à l'ENSTA, cours de 3ème année
  (A. Deutsch)

T. Hardin 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. Enfin, elle est chargée du cours de Programmation avancée (Sémantique dénotationnelle, opérationnelle, concurrence et langages synchrones) dans la dominante Programmation de la Maîtrise d'Informatique.

Précédent : Animation de la communauté scientifique Remonter : Diffusion de résultats Suivant : Participation à des colloques, séminaires,