Table des matières
Florent Jacquemard
INRIA researcher at IRCAM
Music Representations team
EPC INRIA mutant
florent.jacquemard@ircam.fr
(+33) 1 44 78 15 48
Research Interests
- automated verification of complex systems and software
- logic in computer science
- automated reasoning and term rewriting
Some Projects and Events
- INEDIT. ANR 2012-15. Interactivity in the Authoring of Time and Interactions.
- IJCAR 2012 6th International Joint Conference on Automated Reasoning.
- TTATT 2012 1st International Workshop on Trends in Tree Automata and Tree Transducers.
- VTSA 2011. Summer School on Verification Technology, Systems and Applications
- FoX. ERC FP7, Fet-Open 2009-12. Foundation of XML.
- Webdam. ERC grant, prime investigator: Serge Abiteboul. 2009-13. Foundation of Web data management
- Brick. INRIA-DGRSRT bilateral project between France and Tunisia. 2010-12. Formal verification of Web Service security, XML Access Control Policies and Firewalls.
- ACCESS. ARC INRIA 2010-11. 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.
PhD opportunity
We are seeking a good candidate for a PhD starting in September 2013 at Ircam
in the Musical Representations team and the INRIA team Mutant,
on the theme "Formal methods for the static analysis of realtime interactive music systems".
Detailed subject:
- english phd-verif-ims
- french (at INRIA)
Internship proposals
- Transcription rythmique pour OpenMusic, with Jean Bresson. m2-quantification.pdf
Teaching
- Course on the summer school VTSA 2011, Tree automata techniques for the verification of infinite state-systems slides