Table des matières


Member of the Database group.

Former member of the Constraintes group at INRIA Rocquencourt (2000-2005).


  • Security Policies (languages, inference).
  • Declarative approaches for interesting pattern enumeration DAG project.
  • Web services (specification, composition), COMPAS project, ANR JCJC servicemosaic project.
  • Constraint programming, constraint languages, constraint based verification.
  • Typing of constraint programming languages, subtyping constraints.


Publication list: at LIRIS since 2006, before 2006,@DBLP.

PhD Thesis (in french): manuscript,slides.


  • SATMiner: Software for finding interesting pattern using constraint programming and SAT backend.
  • TCLP: A typing softer for contraint logic languages and CHR.