Les recherches menées visent à étudier l'utilisateur en interaction avec son outil informatique comme un système co-apprenant et co-évoluant au fur et à mesure que les activités sont menées. L'ingénierie de la dynamique des connaissances exploite les inscriptions de l'activité sous forme de traces afin d'assister l'utilisateur autour des connaissances. La théorie de la trace fournit des modèles formels de ce qu'est une trace modélisée ainsi que des outils de manipulation associés. Un Système à Base de Traces (SBT) est un système dédié au stockage et à la manipulation de traces modélisées dont l'architecture est ouverte et les opérations associées formellement définies. Un des domaines explorés pour l'application de ces concepts est celui de l'analyse musicale, en modélisant une partition musicale comme une trace et en proposant des outils interactifs d'exploration et de découverte de connaissances dans cette trace. Il s'agit de proposer un environnement de gestion des connaissances, sorte de mémoire de travail de l'analyste, où l'étude des pièces musicales est supportée par des outils et des connaissances du domaine. Les traces sont issues de la collecte de partitions et différents types de transformations visent à observer les traces selon différents points de vue, les analyser dans un processus de découverte interactive de connaissances, et les réécrire sous une forme plus abstraite.