Since September 2006, I have a teaching and research position at the University Aix-Marseille 1 (UFR MIM) and I am member of the MoVe project at LIF (Laboratoire d'Informatique Fondamentale), Marseille, France.

My research interests center around software verification and security by means of formal methods, in particular lambda-calculus and (higher-order) term and term-graph rewriting. These formalisms provide useful techniques for studying properties of declarative programming languages and of systems supporting parallel and distributed computation.

Functional, logic and rewrite based programming languages: semantics and security, distributed and mobile aspects. Rewrite-based computational models: term and graph rewriting, lambda-calculus, rho calculus.