I am associate professor (maître de conférence, HDR HC) at the Aix-Marseille University and I am member of the modeling and verification (MoVe) group at LIS UMR CNRS 7020.
I am also national coordinator of the France 2030 program PEPR on Cybersecurity for the French National Research Agency (ANR) .
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.
