Home

Currently, I am associate professor (Maître de conférences) at Université de Perpignan Via Domitia and at IUT de Perpignan (GLT departement).

I was a postdoc funded by the LABEX CIMI at IRIT in the ACADIE team supervised by Jan-Georg Smaus. I worked on static analysis of dynamical systems.

I was a postdoc in the DTIM departement of ONERA
Toulouse supervised by Pierre-Loïc Garoche (ONERA Toulouse) and Marc
Pantel (IRIT, ENSEEIHT). I am paid by a RTRA-STAE funding (BRIEFCASE
project). I work on polynomial templates design, static analysis of
control command and numerical analysis programs, and policy iterations
algorithms.

I was a postdoc on the ANR project CPP (Confidence, Proofs
and Probabilities) on static analysis on programs handling
nondeterminism and
randomness. The postdoc was supervised by Olivier Bouissou and Jean
Goubault-Larrecq.