About me

I am a PhD student in Computer Science at LIP6, Sorbonne University (Paris, France).

My research interests include static software analysis using Abstract Interpretation (AI). In particular, my research topic focuses on extending current AI techniques for inferring sufficient pre-conditions.

Publications