Teaching
Supervision of PhD
I have been supervising the following PhD students:
- Léo Géré (CNAM, ED SMI) • 2023 — 2026
- Grammatical generative models for music notation processing.
- co-supervised with Philippe Rigaux and Nicolas Audebert
- Lydia Rodriguez de la Nava (INRIA, EDITE Paris) • 2020 — 2025
- Structured Models for Written Music Processing.
- co-supervised with Philippe Rigaux
- Francesco Foscarin (CNAM, EDITE Paris) • 2017 — 2020
- Langages a priori en transcription musicale.
- co-supervised with Philippe Rigaux
- Francesco is now working at MusicAI, previously he has been a post-doc at JKU in Vienna, and has also held a temporary lecturer and research assistant position at CNAM.
- Pierre Donat-Bouillud (Ircam, EDITE Paris) • 2016 — 2019
- Modélisation, analyses et exécution de systèmes musicaux interactifs.
- Pierre is now _odborni asistent_ at the Faculty of Information Technology CTU in Prague, after a post-doc at the Northeastern, Programming Research Lab in Praha, in the ERC project Evolving Language Ecosystems (ELE).
- Clément Poncelet-Sanchez (Ircam, EDITE Paris) • 2013 — 2016
- Méthodes formelles d’analyse d’interactions homme-système dans des scénarios temporels complexes.
- Clement is now working at MTB111 after post-docs at Uppaal group in Uppsala University and in the Computational Systems group at the Software Systems Center of Salzburg University.
- Camille Vacher (ENS Cachan) • 2007 — 2010
- Tree Automata with Global Constraints for the verification of security properties.
- Stéphanie Delaune (ENS Cachan) • 2003 — 2006
- Verification of cryptographic protocols with algebraic properties.
- co-supervised with Hubert Comon-Lundh, Francis Klay
- Stéphanie is now CNRS senior research scientist at Irisa, Rennes.
Intership Supervision
I have been supervising the following Bachelor and Master interships:
- Xiabo Wang (Master 1st year, INALCO, Université Sorbonne Paris Cité) • 2025
- Longest Common Subsequence of measures for a procedure of comparison of digital music scores.
- Ihsane Ghammatt-Debboun (Master 1st year, INALCO, Université Sorbonne Paris Cité) • 2025
- Measure of Rhythmic Complexity.
- Sylvain Meunier (Master 1st year, ENS Rennes) • 2024
- Tempo curves generation, estimation and analysis.
- Clément Buon (Master 1st year, INALCO, Université Sorbonne Paris Cité) • 2023
- Development of a MusicXML export facility from an Intermediate Representation of digital music scores.
- Augustin Bouquillard (Licence (Bachelor last year), University Paris Dauphine, PSL) • 2023
- Pitch Spelling algorithms for Jazz.
- Teysir Bouaeb (Master 1st year, ENSTA, Intitut Polytechnique de Paris) • 2022
- Parameter optimisation for an Automatic Music Transcription procedure on a monophonic dataset.
- Augustin Bouquillard (Licence (Bachelor 3d year), University Paris Dauphine, PSL) • 2022
- Study of an voice separation algorithm in the context of piano transcription.
- Martin Digard (Master, 2d year, INALCO, Université Sorbonne Paris Cité) • 2021
- Automated Drum Transcription.
- Leyla Villaroel (Master, Pontificia Universidad Católica de Chile, internship at CNAM) • 2021
- On-the-fly music transcription (funded by a program between Inria Chile and Chile Universities).
- co-supervised with Philippe Rigaux
- Henry Boisgibault (M1, SupElec, internship at CNAM) • 2017
- Mesures de similarité rythmique dans les bases de partitions numériques.
- co-supervised with Philippe Rigaux
- Florent Mercier (Master, U. Paris 11, internship at Ircam) • 2017
- Representation des données musicales rythmiques.
- co-supervised with Jean Bresson
- Pierre Donat-Bouillud (Master, ENS Rennes, internship at Ircam) • 2016
- Multimedia scheduling for interactive multimedia systems.
- co-supervised with Arshia Cont
- Adrien Ycart (Master, SupTelecom, intership at Ircam) • 2015
- Interactive Rhythm Quantisation.
- Clément Poncelet Sanchez (Master, UPMC, internship at Ircam) • 2014
- Environnement de test pour un système temps-réel de performance en musique mixte.
- Adrien Maire (L3, ENS Cachan, internship at Ircam) • 2013
- Quantification musicale avec apprentissage sur des exemples.
- Pierre Donat-Bouillud (L3, ENS Rennes, internship at Ircam) • 2013
- Transcription rythmique dans OpenMusic.
- Léa Fanchon (Master, École Centrale, intership at Ircam) • 2012
- Analyse statique des paramètre performatifs dans les partitions de musique mixte.
- Guillaume Baudard (Master, ENS Rennes, intership at Ircam) • 2012
- Antescofo - vers une programmation synchrone.
- Jose Écheveste (Master, Ircam) • 2011
- Étude des processus de synchronisation et coordination temps réel musicale pour l’accompagnement automatique.
- co-supervised with Arshia Cont
- Adrien Boiret (Master, ENS Cachan) • 2010
- Grammaires hors-contexte d’arbres de rang non-borné.
- co-supervised with Luc Segoufin
- Jérémy Dimino (Master, ENS Cachan) • 2010
- Automates d’arbres et données.
- co-supervised with Luc Segoufin
- Ryma Abassi (Master, Sup’Com Tunis, internship at LSV, ENS Cachan) • 2010
- Vérification de politiques de sécurité XACML.
- Yoshiharu Kojima (Master, Nagoya University) • 2009
- Controlled Term Rewriting.
- Sawsen Ben Nasr (Master, ENSI Tunis, internship at LSV, ENS Cachan) • 2009
- Validation of a framework for automated inductive theorem proving.
- Nihel Ben Youssef (Master, Sup’Com Tunis, internship at LSV, ENS Cachan) • 2008
- Vérification de la conformité et de la complétude des règles de filtrage d’un firewall par rapport à une politique de sécurité.
- Hedi Benzina (Master, Sup’Com Tunis, internship at LSV, ENS Cachan) • 2008
- Conception et réalisation d’un système de démonstration automatique par récurrence.
- Mohamed Anis Benelbahri (Master, Sup’Com Tunis, internship at LSV, ENS Cachan) • 2008
- Validation des règles de configuration d'un firewall.
- Camille Vacher (Master, ENS Cachan) • 2007
- Automates d’arbres à mémoire d’ordre supérieur.
- Nicolas Perrin (L3, ENS Lyon, internship at LSV, ENS Cachan) • 2006
- Visibly Tree Automata.
- co-supervised with Hubert Comon
- Stéphanie Delaune (Master, ENS Cachan) • 2003
- Décision de la sûreté des protocoles contre les attaques par dictionnaire.
- Sanar Sfar (Master, Sup'Com Tunis, internship at LORIA, Nancy) • 1999
- Specification et certification du protocole de telecommunication Kermit a l’aide du demonstrateur automatique par recurrence Spike.
- Véronique Cortier (L3, ENS Cachan, internship at MPI-I Saarbrücken) • 1998
- Complexité de problèmes de décision en unification rigide.
Lectures
Master programme 1st year, INALCO , 2022 — 2025.
This lecture is part of the first year of the Master programme on NLP at INALCO, Paris. It is been given for 3 academic years, 2 semesters each year, for 40 hours per semester. Read more
Summer School, École des Mines , 2019.
lectures (5h) at the International Summer School on Rewriting (ISR), in July 2019, on Rewriting Music. Read more
Conference, ENS Paris-Saclay, Computer Science Department , 2017.
Lecture (3h) for the opening semester seminar 2017 at École Normale Supérieure Paris-Saclay, on Music and Automata. Read more
Summer School, Université de Liège , 2011.
Lecture (6h) at the summer school VTSA 2011 (Verification Technology, Systems & Applications), Liège, Belgium, on Tree Automata Techniques for Infinite Systems Verification. Read more
Workshop, University Paris-Saclay , 2006 — 2011.
Lecture on Tree Automata Theory at Master Parisien de Recherche en Informatique (MPRI), a common esearch-oriented Master programme in Computer Science between ENS Paris-Saclay. ENS Ulm, Institut Polytechnique de Paris, Université Paris-Cité. I gave the lecture for 5 years, between 2006 and 2011 (36h/year), as a module of level 2 of the Master in 2006 and 2007, and a module of level 1 for the other years. Read more
Seminar, École Normale Supérieure , 2003 — 2006.
I supervised a practical seminar (exercises) for the lecture of Jean Goubault Larrecq on Lambda Calculus at Master Parisien de Recherche en Informatique (MPRI), a common esearch-oriented Master programme in Computer Science between ENS Paris-Saclay. ENS Ulm, Institut Polytechnique de Paris, Université Paris-Cité, for 3 years, between 2003 and 2006 (36h/year). Read more
