VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025
Davide Davoli

Registered user since Wed 13 Nov 2024

Name:Davide Davoli
Bio:

I am a PhD student of the SPLITS team at the Centre Inria d’Université Côte d’Azur, and I got my MSc in Computer Science at the University of Bologna in 2022. My main research interest lies in the application of formal methods to study the interactions of randomized computation and security.

Country:France
Affiliation:Université Côte d’Azur, Inria
Research interests:Randomized computation, security

Contributions

Show activities from other conferences

Using general profile