Frédéric Dabrowski
Ph.D.
IRISA/INRIA
Campus de Beaulieu,
35042 Rennes, France


Home Publications C.V.



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