I am associate professor (maître de conférence, HDR) 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.
