I am a Ph.D. student working under the guidance of dr. Caterina Urban at the INRIA research team ANTIQUE (ANalyse staTIQUE). Currently, I am hosted at the École Normale Supérieure | Université PSL in Paris. My research project includes formal methods and data science. In particular static analysis, abstract interpretation, neural networks, and machine-learned safety issues. That’s why I joined the ANTIQUE research team here in Paris. This team carries out research in semantics, static analysis, and abstract interpretation of programs, which fit perfectly my interests.

I hold a Master’s degree in Computer Science received with full mark and honor (summa cum laude) from the University of Padua. During the Master’s duration, I pursued the Erasmus exchange program at the Vrije Universiteit in Amsterdam (NL).

Download my resumé.

  • Static Analysis
  • Abstract Interpretation
  • Artificial Intelligence
  • Machine Learning
  • PhD in Computer Science, 2020/23

    École Normale Supérieure | Université PSL, Paris, France

  • MSc in Computer Science, 2018/20

    University of Padua, Padua, Italy

  • Erasmus Exchange Program, 2019/20

    Vrije Universiteit, Amsterdam, Netherlands

  • BSc in Computer Science, 2015/18

    University of Padua, Padua, Italy


Formalization of Composition of Monads
Static Analyser by Abstract Interpretation: Wstat