J'ai intégré le Corps des Mines en septembre 2011. Depuis, j'ai donc arrêté mes activités de recherche et d'enseignement (Profil LinkedIn).
Ces quelques pages resteront disponibles pour référence et archive encore quelques temps.
E-mail :
Ce papier, écrit avec P. Cousot, propose un nouveau formalisme pour analyser statiquement des programmes à interactions probabilistes, qui étend le cadre habituel de l'interprétation abstraite. Il a été publié à ESOP 2012.
Ci-dessous le papier, ainsi que certaines des présentations qui en ont été faites pour expliciter les intuitions.