====== Research ======
Member of the [[http://liris.cnrs.fr/bd/|Database group]].

Former member of the [[http://contraintes.inria.fr/|Constraintes]] group at INRIA Rocquencourt (2000-2005).

===== Topics =====
  * Security Policies (languages, inference).
  * Declarative approaches for interesting pattern enumeration [[http://liris.cnrs.fr/dag|DAG project]]. 
  * Web services (specification, composition), [[http://www.compas-ict.eu/|COMPAS project]], ANR JCJC servicemosaic project.
  * Constraint programming, constraint languages, constraint based verification.
  * Typing of constraint programming languages, subtyping constraints.
===== Publications =====

Publication list: [[https://liris.cnrs.fr/membres/?idn=ecoquery&onglet=publis|at LIRIS since 2006]], [[:research:publis2006|before 2006]],[[http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Coquery:Emmanuel.html|@DBLP]].

PhD Thesis (in french): {{:research:these.pdf|manuscript}},{{:research:soutenance.pdf|slides}}.
===== Software =====

  * [[:research:satminer|SATMiner]]: Software for finding interesting pattern using constraint programming and SAT backend.
  * [[:research:tclp:start|TCLP]]: A typing softer for contraint logic languages and [[http://dtai.cs.kuleuven.be/CHR/|CHR]].