I have a teaching and research position at the Aix-Marseille University and I am member of the modeling and verification (MoVe) group at LIS UMR CNRS 7020.

Research Interests

  • Programming languages: rule-based programming, semantics.
  • Computational models: algebraic specifications, term and graph rewriting, lambda-calculus, rho calculus.
  • Security: specification and verification of access control models and policies, security-aware workflows.