• The ℂDuce project: a language for type-safe and fast query and transformation of XML documents [Scientific leader]
• Typex Typeful and certified XML (ANR Project) [Coordinator]
• BETTY Behavioural Types for Reliable Large-Scale Software Systems (ICT COST Action) [Wokpackage leader & Management Committee member]
• Codex Efficiency, Dynamicity and Composition for XML: Models, Algorithms and Systems (ANR Project) [Site leader]

TO BE DONE