Reseach Projects
Current Projects
  • 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]
Old Projects

TO BE DONE