Mes activités de recherche actuelles s'intègrent dans l'axe «Algorithmique pour l'inférence et la prise de décision» du Centre de Recherche en Informatique de Lens (CRIL--CNRS UMR 8188) de l'Université d'Artois dirigé par Éric Grégoire.

• Satisfaction de contraintes (CSP) : Etude de la résolution de problèmes modélisés par des contraintes à satisfaire (problème NP-complet), développement d'algorithmes qui minimisent la taille de l'arbre de recherche (filtrage, inférence) et proposition d'heuristiques de choix de variables, de valeurs intelligents.
• CSP distribué : La résolution du problème de satisfaction de contraintes ne peut pas toujours être abordée de manière centralisée. Il est parfois nécessaire, pour des raisons de sécurité, de simplification de la modélisation ou de coût d'échange d'information, de distribuer la résolution sur des sites (agents) qui coopèrent.