![Luca Olivieri](https://pldi24.sigplan.org/getProfileImage/lucaolivieri2/84829744-7ba1-4929-b10f-18f6023bc014/small.jpg?1720987562000)
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
PLDI 2024-profile
View general profile
View general profile