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