About

Since October 2025 I am a postdoc in the Foundations of Security and Privacy Group team lead by Gilles Barthe at the Max Planck Institute for Security and Privacy of Bochum, Germany. My research interest include programming languages, program verification, security and logics.

From October 2022 to September 2025 I was PhD student of the SPLITS team at the Centre Inria d'Université Côte d'Azur where I worked under the supervision of Tamara Rezk, Martin Avanzini and Ugo Dal Lago. I got my MSc in Computer Science at the University of Bologna in 2022.

Talks

• A quantitative probabilistic relational Hoare logic, POPL 2025, slides.
• On Kernel’s Safety in the Spectre Era (And KASLR is Formally Dead), CCS 2024, slides.
• On Separation Logic, Computational Independence, and Pseudorandomness, PLAS 2024, slides.
• On Separation Logic, Computational Independence, and Pseudorandomness, CSF 2024, slides.
• On Kernel’s Safety in the Spectre Era, 2024 Annual Meeting of the WG "Formal Methods in Security", slides.