PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Luca Olivieri

Registered user since Wed 24 Jan 2024

Name:Luca Olivieri
Country:Italy
Affiliation:University Ca' Foscari, Venice
Research interests:Program Verification, Static Analysis, Formal Methods, Blockchain, Smart Contracts, Data compliance, Privacy

Contributions

Show activities from other conferences

Using general profile