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).