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
- Marco Milanese, Francesco Ranzato: Local Completeness Logic on Kleene Algebra with Tests. SAS 2022: 350-371