Mehdi Bouaziz
Je suis en thèse avec Jérôme Feret et Patrick Cousot, dans l'équipe Abstraction du Département d'Informatique de l'École normale supérieure à Paris. Je travaille sur l'analyse statique de propriétés de sécurité par interprétation abstraite.
Avant cela, j'étais normalien (2007 – 2012). J'ai fait des stages de recherche à Microsoft Research à Redmond, WA, avec Francesco Logozzo (2011, 2012) et avec Ella Bounimova (2011) ; au Stevens Institute of Technology à Hoboken, NJ, avec David Naumann (2010) ; à l'École normale supérieure à Paris, avec Antoine Miné (2010) ; et à MLstate à Édimbourg (2009) et Paris (2008). J'ai été médaillé de bronze (2004, Athènes, Grèce) et d'or (2005, Nowy Sącz, Pologne) aux Olympiades internationales d'informatique (IOI), et de bronze (2005, Sárospatak, Hongrie) aux Olympiades d'informatique d'Europe Centrale (CEOI), ainsi que finaliste (2010, Harbin, Chine) du Concours international inter-universitaire de programmation (ACM-ICPC).
Recherche
Mes recherches portent sur les langages de programmation et leur sémantique, l'analyse statique, l'interprétation abstraite et la sécurité informatique.
Dernières publications
Michael Barnett, Mehdi Bouaziz, Manuel Fähndrich et Francesco Logozzo, A case for static analyzers in the cloud, in 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation (Bytecode 2013), mars 2013. [Article][Transparents]
Mehdi Bouaziz, Francesco Logozzo et Manuel Fähndrich, Inference of Necessary Field Conditions with Abstract Interpretation, in 10th Asian Symposium on Programming Languages and Systems (APLAS 2012), Springer, décembre 2012. [Article][Transparents]
Mehdi Bouaziz, TreeKs: A Functor to Make Numerical Abstract Domains Scalable, in 4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012), Elsevier, 17 septembre 2012. [Article][Transparents]
Derniers exposés
CodeContracts & Clousot. Course on Abstract Interpretation, École normale supérieure de l'Est de la Chine, Shanghai, Chine. 26 novembre 2013.
Scalable Numerical Abstact Domains. 2nd Workshop on Analysis and Verification of Dependable Cyber Physical Software (AVDCPS 2013), National University of Defense Technology, Changsha, Chine. 23 novembre 2013. [Transparents]
Spécification et vérification de programmes avec CodeContracts. 2e Forum méthodes formelles (FMF 2013), Laboratoire d'Analyse et d'Architecture des Systèmes, Toulouse, France. 28 juin 2013. [Transparents]
Contact
Email : prénom.nom@ens.fr
Adresse
Équipe Abstraction
Hauts du DI, escalier Direction
École normale supérieure
45 rue d'Ulm
75005 Paris
France
Dernière mise à jour : 24 janvier 2014