Workplaces

• 2026- ... : Grenoble INP - UGA, Polytech Grenoble, Ensimag and Verimag, Grenoble
• 2021-2026 : Grenoble INP - UGA, Esisar and LCIS, Valence
• 2013-2021 : Université Claude Bernard Lyon 1, UFR Informatique and LIP, Lyon
• 2009-2013 : Université de Lille, Polytech Lille and LIFL, Lille

Habilitation - 2017

Université Claude Bernard Lyon 1
Contributions to program analysis: expressivity and scalability

View more...

PhD Thesis - 2007

Université Joseph Fourier
Contributions to program analysis: expressivity and scalability

View more...