Dynamic programming languages
From March to August 2018, I worked under the supervision of Antoine Miné at the LIP6 laboratory, in Paris, France. I designed a static analysis by abstract interpretation that detects potential type errors in Python programs. I implemented this analysis into a modular static analyzer called MOPSA.
You can find my report here, and my slides here.