Current Projects

  • CAPESA: (2020-) PI Laure Gonnord, Inria Associate Team with UQAM, Canada. Budget 30K euros. The project proposal. Keywords: software engineering, static analyses, software evolution, LLVM, git.
  • CODAS: (2018-2022) PI Laure Gonnord, ANR JCJC. Budget 175K euros. Keywords: compilation, static analyses, complex data structures, trees.

Past Projects

  • Prospiel, Inria Associate Team (as member) (2016-2018)
  • TBD