Florent Jacquemard

Researcher at INRIA (Rocquencourt Research Center), project team muSync (CV).

Member of IRCAM, group RepMus

Research Interests (Selected Publications)

• computer music
• automated verification of complex systems and software
• logic in computer science
• tree automata theory
• automated deduction and term rewriting

Some Projects and Events

• 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 (slides)
• 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.

Teaching

• Synchronous Programming for Realtime Performance (with Marc Pouzet)
• Static Analysis of Performance Parameters for Music Scores (with Laurent Fribourg)

Contact