Michael Monerau

Promo 2013

Stage première année : Programme Véhicule Electrique, Renault

TDs Maple & Caml en MP*, 4h par semaine sur le programme de prépa.

Stage dans le cadre de mon M2 d'informatique. Data processing et gros volumes de données.

Travail avec Patrick Cousot. Mise au point d'une théorie générale d'interprétation abstraite probabiliste.

Présentation des résultats dans différents séminaires à New York, au MIT et à Microsoft Research à Redmond.

Stage à l'Imperial College avec Chris Hankin. Recherche sur comment réduire la consommation d'énergie par le CPU en utilisant des techniques d'interprétation abstraite. Nouveau domaine abstrait pour prédire le contenu du cache au cours de l'exécution d'un programme.

Stage au sein de l'équipe RiSE à MSR Redmond. Persistance des contrats inférés dans Clousot (l'analyseur abstrait de Microsoft) et ajout de l'inférence d'invariants d'objets dans l'analyseur.

Colles de mathématiques en MP*