Florent Jacquemard

INRIA researcher at IRCAM
Music Representations team
EPC INRIA muSync



florent.jacquemard@ircam.fr
(+33) 1 44 78 15 48

• computer-aided composition
• score following
• automated verification of complex systems and software
• logic in computer science
• automated reasoning and term rewriting
• tree automata theory

Selected Publications

• IJCAR 2012 6th International Joint Conference on Automated Reasoning.
• TTATT 2012 1st International Workshop on Trends in Tree Automata and Tree Transducers.
• INEDIT (ANR 2012). Interactivity in Authoring of Time and Interaction.
• VTSA 2011. Summer School on Verification Technology, Systems and Applications
• FoX. Foundation of XML (FP7).
• Webdam. Foundation of Web data management (ERC grant, prime investigator: Serge Abiteboul)
• Brick. INRIA-DGRSRT bilateral project between France and Tunisia on Formal verification of Web Service security, XML Access Control Policies and Firewalls.
• ACCESS. ARC INRIA on Access Control Policies for XML: Verification, Enforcement and Collaborative Edition.
• RTA 2011. 22nd International Conference on Rewriting Techniques and Applications.
• WTS 2010. Workshop on Formal Methods for Web Data Trust and Security.

• Lecture on Tree Automata at the Parisian Master of Research in Computer Science MPRI.
  tata-mpri.pdf
• Course on the summer school VTSA 2011, Tree automata techniques for the verification of infinite state-systems slides

• Synchronous Programming for Realtime Performance, with Marc Pouzet. scofosynchrone.pdf
• Static Analysis of Performance Parameters for Music Scores, with Laurent Fribourg. inversem.pdf