My current research is concerned with the representations and reasoning on time in music, from two point of views: notation (software for music edition and computer-aided composition) and performance (interactive music systems).
From the notation point of view, I am working on the development of techniques and tools for processing digital documents in common western music notation (music scores), with a focus on the proportional notation for rhythm. Our approach is based on symbolic computation, with formalisms for tree-structured data processing, such as Term Rewriting Systems and Tree Automata. Trees are indeed a natural way to represents rhythms, which are defined hierarchically in music notation. In this setting, we are addressing Music Information Retrieval problems such as rhythm transcription, searching and querying and information extraction in music scores.
From the point of view of music performance, our objective is to improve the reliability and predictability of realtime interactive music systems involved in live music performances with human musicians (a popular example being automatic accompaniment systems). For this purpose, we are using formal methods for verifying statically that a system will behave as expected during a concert. This involves in particular Model Based Testing, symbolic model checking and static analysis of the property of schedulability.
- 8th International Symposium on Symbolic Computation in Software Science (SCSS 2017) (Program Committee)
- 5th International Workshop on Confluence (IWC 2016) (Invited Talk)
- Second International Conference on Technologies for Music Notation and Representation (TENOR 2016) (Program Committee)
- Journées d’Informatique Musicale (JIM 2016) (Program Committee)
- Partenariat Hubert Curien (PHC 2015-16) Amadeus franco-autrichien LETITBE between Ircam and U. Salzburg (Christoph Kirsch) (Coordinator for French Partner)
- Project EFFICACe. ANR-13-JS02-0004.