Registered user since Wed 13 Nov 2024
Name:Davide Davoli
Bio:
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
Country:Germany
Affiliation:MPI-SP
Personal website: https://davidedavoli.github.io/
Research interests:Randomized computation, security
Contributions
Using general profile