Leonardo Speranzon

I’m currently doing my PhD in the SyCoMoRES team in Inria Lille under the supervision of Raphaël Monat and Julien Forget. I’m working on linking Abstract Interpretation analyzers with a notion of progress and time. With the aim of making possible to get a better automatic static analysis given only a time budget.

Education

• PhD in Computer Science, Inria Lille, France (2025-???)
• Master in Computer Science, University of Padua, Italy (2022-2025)
• Bachelor in Computer Science, University of Padua, Italy (2019-2022)

Previous experieces

• Artifact reviewer for ECOOP26 (2026)
• Wrote my master thesis “A framework for precise program analysis in numerical abstract interpretation” under the supervision of Francesco Ranzato and Paolo Baldan (2025)