Précédent : Actions d'enseignement Remonter : Diffusion des résultats Suivant : Stages

Thèses

• Habilitation à diriger des recherches :
  1. Isabelle Attali, « Sémantique Naturelle : expressivité et évaluation », université de Nice-Sophia Antipolis, septembre 96.
• Thèses en cours :
  1. Sidi Ould Ehmety, « Définition formelle d'un langage à objets parallèle et transformations de programmes », université de Nice-Sophia Antipolis, depuis octobre 93, dirigée par Isabelle Attali.
  2. Yann Coscoy, « Explication textuelle de preuves », Université de Nice-Sophia Antipolis, depuis octobre 95, dirigée par Gilles Kahn.
  3. Ranan Fraer, « Environnements interactifs de vérification de programmes », Université de Nice-Sophia Antipolis, depuis novembre 94, dirigée par Yves Bertot.
  4. Romain Guider, « Représentation data-flow de programmes à objets pour une parallélisation semi-automatique », université de Nice-Sophia Antipolis, depuis novembre 96, dirigée par Isabelle Attali.
  5. Pierre Leleu, « Syntaxe abstraite d'ordre supérieur et induction dans les théories typées », ENPC, Paris, depuis novembre 95, dirigée par Joëlle Despeyroux.
  6. Olivier Pons, « Aide au développement de grandes théories réutilisables dans les systèmes de preuve interactifs », CNAM, Paris, depuis novembre 95, dirigée par Laurence Rideau.
  7. Christophe Roudet, « Conception et implantation d'un formalisme sémantique pour les transformations de programmes », université de Nice-Sophia Antipolis, depuis novembre 95, dirigée par Isabelle Attali.

• Stages