Recherche
Membre de l'équipe Bases de Données, Représentation de Connaissances et Raisonnement.
Membre associé de l'équipe Contraintes à l'INRIA Rocquencourt.
Thèmes de recherche
- Web sémantique: web services.
- Contraintes: programmation par contraintes, langages avec contraintes, vérification à base de contraintes.
- Typage: typage des langages de programmation par contraintes, typages des langages du web sémantique, contraintes de sous-typage.