Florent Jacquemard

Research

selected publications

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.

Projects and Events

  • 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.

Teaching, Internships

  • internship proposal on rhythm similarity measures. Master 2, research, UPMC, specialty SAR/ATIAM and STL.
  • Lecture on Tree Automata at the Parisian Master of Research in Computer Science MPRI (2005-10).
    tata-mpri.pdf
  • Course on the summer school VTSA 2011, Tree automata techniques for the verification of infinite state-systems slides
 


jacquemard.txt · Dernière modification: 2017/02/08 16:42 par Florent Jacquemard