Mehdi Bouaziz

I am a PhD student under the joint supervision of Jérôme Feret and Patrick Cousot, in the team Abstraction of the Computer Science department of the École normale supérieure in Paris. I am working on static analysis of security properties by abstract interpretation.

Previously, I was a normalien student of the École normale supérieure (2007 – 2012). I had been a research intern at Microsoft Research, Redmond, WA, with Francesco Logozzo (2011, 2012) and with Ella Bounimova (2011); at the Stevens Institute of Technology, Hoboken, NJ, with David Naumann (2010); at the École normale supérieure, Paris, with Antoine Miné (2010); and at MLstate, Edinburgh (2009) and Paris (2008). I was a bronze medalist (2004, Athens, Greece) and a gold medalist (2005, Nowy Sącz, Poland) at the International Olympiads in Informatics (IOI), and a bronze medalist (2005, Sárospatak, Hungary) at the Central-European Olympiad in Informatics (CEOI), as well as a world finalist (2010, Harbin, China) at the International Collegiate Programming Contest (ACM-ICPC).

▶ More


Research interests: programming languages, semantics, abstract interpretation, static analysis, computer security.

Recent publications

Michael Barnett, Mehdi Bouaziz, Manuel Fähndrich, and Francesco Logozzo, A case for static analyzers in the cloud, in 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation (Bytecode 2013), March 2013. [Paper][Slides]

Mehdi Bouaziz, Francesco Logozzo, and Manuel Fähndrich, Inference of Necessary Field Conditions with Abstract Interpretation, in 10th Asian Symposium on Programming Languages and Systems (APLAS 2012), Springer, December 2012. [Paper][Slides]

Mehdi Bouaziz, TreeKs: A Functor to Make Numerical Abstract Domains Scalable, in 4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012), Elsevier, September 17, 2012. [Paper][Slides]

▶ More

Recent talks

CodeContracts & Clousot. Course on Abstract Interpretation, East China Normal University, Shanghai, China. November 26, 2013.

Scalable Numerical Abstact Domains. 2nd Workshop on Analysis and Verification of Dependable Cyber Physical Software (AVDCPS 2013), National University of Defense Technology, Changsha, China. November 23, 2013. [Slides]

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. June 28, 2013. [Slides]

▶ More



My gpg public key

Office address

Équipe Abstraction
Hauts du DI, escalier Direction
École normale supérieure
45 rue d'Ulm
75005 Paris

▶ More

Last update: January 24, 2014