Position
Member of the
Lande project (IRISA)
Former member of the
Mimosa
project (INRIA Sophia-Antipolis)
and of the
PPS
lab. (Université Paris 7)
Research Projects I am/was involved in
PARSEC (ANR SetIn 2006)
PARallelism and SECurity
CRISS (ACI Sécurité 2003-2006)
Contrôle de Ressources et d'Interférence dans les
Systèmes Synchrones
CARAML (ACI GRID 2002-2004)
CoordinAtion et Répartition des Applications
Multiprocesseurs en Objective CamL
Interests
Concurrency
Implicit Complexity
Programming languages: Semantics, Static Analysis and
Implementation
Proof theory