abstract interpretation

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.

From June to July 2015, I worked under the supervision of Antoine Miné at the École Normale Supérieure, France, on static analysis by abstract interpretation of concurrent programs. I learned how to use the Abstract Interpretation framework to develop, implement and test new methods to analyze concurrent programs more precisely.