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