Name:Luca Olivieri

Country:Italy

Affiliation:University Ca' Foscari, Venice

Research interests:Program Verification, Static Analysis, Formal Methods, Blockchain, Smart Contracts, Data compliance, Privacy