Current Projects

  • Cyberskills
  • ARSENE

Past Projects

  • Prospiel, Inria Associate Team (as member) (2016-2018)
  • CAPESA: (2020-22) PI Laure Gonnord, Inria Associate Team with UQAM, Canada. Budget 30K euros. Keywords: software engineering, static analyses, software evolution, LLVM, git. Stopped after moving to Valence
  • CODAS: (2018-2022) PI Laure Gonnord, ANR JCJC. Budget 175K euros. Keywords: compilation, static analyses, complex data structures, trees.