Past Projects




  • Projet ANR NO-CoST : Nouveaux Outils pour la Complexité: Sémantique et Types (New Tools for Complexity: Semantics and Types) (appel Jeunes Chercheurs 05) (2005-2009).
  • Projet GEOCAL (Géométrie du Calcul), ACI Nouvelles Interfaces des Mathématiques ( Workshop on Implicit Complexity and Logic , 6-7/9/2004, Paris-Nord).
  • Projet CRISS (Contrôle de Ressources et d'Interférence dans les Systèmes Synchrones), ACI Sécurité Informatique   ( réunion des 13-14/6/05 à Paris ).
  • Projet France-Italie CNRS/CNR (2004-05) Interaction et Complexité .
  • Post-doc Position for 2005-06, funded by CNRS.
  • action spécifique CNRS "Méthodes formelles pour la mobilité" (2002-03) ( 1ère réunion).
  • projet VINCI, université franco-italienne (2002).