Research

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.