about.md
Research interests
Computer Music and Digital Humanities:
- Music Notation Processing, and Automatic Music Transcription
- Information Retrieval in Databases of Digital Music Scores
- Corpora Analysis (Digital Musicology)
Formerly, my research topics focused primarily on Theoretical Computer Science:
- Theory of Tree Automata, weighted and unweighted, constrained and unconstrained
- Automated Deduction, in particular Inductive Theorem Proving and Term Rewriting
- Edit Distances between strings and trees
- Logic for Computer Science
and the application of the above formal methods to the verification of systems and software:
- Interactive Music Systems, Real-Time Testing and Computer-Aided Composition at Ircam, Paris (team Mutant),
- Verification of Web data management systems and computer security at LSV/ENS-Cachan,
- Automated Deduction and Software Verification at Inria Nancy, MPI-I Saarbrücken, SRI International, Stanford,
- Development of secure embedded software components for smartcards and payment terminals at the company Trusted Logic.
News
tool TSM-diff for comparing digital music scores in various encoding, the TSM intermediate representation and on a tree-traversal algorithm, presented at ICCCM and ISMIR-LBD.
papers on pitch spelling, the problem of inferring proper note names, in collaboration with Augustin Bouquillard, at TENOR’24 and CMMR’25 (Nov. 2025), and extended version for CMMR post-proceedings in 2026.
fully automated transcription, with qparse, in MEI, of 442 recordings of electronic drum-kits of Google Magenta’s Groove MIDI Dataset, presented at the Music Encoding Conference MEC’25 in June 2025. The transcriptions can be found on https://github.com/florento/MEI-GMD/
visit of Masahiko Sakai, in March 2025, in the context of the Japan national project Kakenhi on Automatic music transcription based on formal language theory (JSPS Foundation, 2020-2025), involving Sakai Lab at Nagoya University and Tojo Lab at JAIST, Kanazawa. We are a funded external partner of the project.
final year of the French national project CollabScore (ANR 2020-2025), aiming at the development of approaches for music score digitilization in semi-structured formats, with Optical Music Recognition (OMR) and methods for large scale collaborative correction and the valorization of music collections. It implies Cedric/CNAM (coordinator), Irisa, IReMus/CNRS/SU, the BnF (French National Library), 2 libraries of Fondation Royaumont, and the company Antescofo.
end of European H2020-SC6-TRANSFORMATIONS projet Polifonia (2021-2024) a digital harmoniser for musical heritage knowledge. The objective of the project is to realise an ecosystem of computational methods and tools supporting discovery, extraction, encoding, interlinking, classification, exploration of, and access to, European musical heritage knowledge on the Web, and to demonstrate that these tools improve the state of the art of Social Science and Humanities methodologies. The partners are Alma Mater Studiorum, Università di Bologna (coordinateur), Open University, Stichting Vrije Universiteit Amsterdam, Insight Centre for Data Analytics, NUI Galway, Istituto Centrale del Catalogo e della Documentazione, Istituto Centrale per i Beni Sonori e Audiovisivi, IReMus/CNRS/SU, Cedric/CNAM, Netherlands Institute for Sound and Vision, Royal Netherlands Academy of Arts and Sciences, Digital Paths srl.
final year of the INRIA Exploratory Action Codex (2020-2023) on the formal representation and processing of symbolic music data, and applications to information retrieval in digital music score databases, computational musicology, music transcription and corpus digitization. The project is starting in November 2020 with the PhD of Lydia Rodriguez de la Nava.
PhD and intership proposals
more to come…
Contact info
INRIA 48 Rue Barrault, 75013 Paris
tel: +33 6 50 08 84 53
email: florent.jacquemard (at) inria . fr