Ceci est une ancienne révision du document !


Table des matières

Research

Member of the Database group.

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

Topics

  • Politiques de sécurité (langages, inférence)
  • Approches déclaratives pour l'énumération de motifs intéressants, projet DAG.
  • Web services (spécification, composition), projet COMPAS, projet JCJC servicemosaic.
  • Contraintes: programmation par contraintes, langages avec contraintes, vérification à base de contraintes.
  • Typage: typage des langages de programmation par contraintes, contraintes de sous-typage.

Publications

Publication list: at LIRIS since 2006, before 2006.

PhD Thesis (in french): manuscript,slides.

Software

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