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.

  • I was a phd student of Stéphane Gaubert (INRIA Saclay, CMAP Ecole Polytechnique) and Eric Goubault (CEA Saclay, LIX Ecole Polytechnique). My subject was Optimisation and Games (Policy Iteration) applied to static analysis by abstract interpretation.


To contact me:

Université de Perpignan Via Domitia
Laboratoire de Mathématiques et Physique (LAMPS)
Equipe d'Informatique 
52, avenue Paul Alduy
66000 Perpignan
Email: assale (dot) adje [at] univ-perp (dot) fr
Phone: +33 (0)4 68 66 22 19