Je suis membre de l'équipe Links, équipe Inria commune au laboratoire CRIStAL, qui travaille sur les "linked data". En particulier, mes travaux récents concernant les requêtes dans les bases de données graphes. De façon plus générale, mon domaine de recherche concerne les méthodes formelles: automates, réécriture, contraintes, ...