Précédent : Actions internationales Remonter : Spécifications et preuves de programmes Suivant : Animation de la Communauté scientifique

   
Diffusion de résultats

• Animation de la Communauté scientifique
  • Participation à des comités éditoriaux de revues
  • Participation à des comités éditoriaux de conférences
  • Jurys
  • Distinctions
  • Littérature Scientifique
  • Manifestations scientifiques
  • Responsabilités professionnelles
• Enseignement
  • DEA Sémantique, preuves et programmation
  • Ecole Nationale Supérieure des Techniques Avancées (ENSTA)
  • Encadrement doctoral
  • Autres enseignements
  • Participation à des colloques, séminaires, invitations