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 it 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’s thesis, “A framework for precise program analysis in numerical abstract interpretation” under the supervision of Francesco Ranzato and Paolo Baldan (2025)

Professional experience

From 2022 to 2025, I’ve also worked as a developer for Monokee helping to build the backend for their product.

Contacts

Email: leonardo.speranzon at inria.fr