Michael MONERAU
 
...Site web disponible pour archive...
...Non mis à jour...

Site archive, non mis à jour

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 sont cependant susceptibles de présenter quelqu'intérêt, et elles auront la bonne idée de rester disponibles pour référence et archive encore quelques temps.

E-mail :

Interprétation Abstraite Probabiliste

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.

Domaines de Recherche, Derniers Travaux & Présentations

Domaines d'intérêt scientifiques : Mathématiques & Informatique, plus précisément la cybersécurité, l'interprétation abstraite, l'analyse statique, la logique, la programmation.
Derniers travaux :