Ceci est une ancienne révision du document !
Research
Topics
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.
Publications
Software
SATMiner: Software for finding interesting pattern using constraint programming and SAT backend.
TCLP: A typing softer for contraint logic languages and
CHR.