Marco Zanella

Registered user since Sun 31 May 2020

Name:Marco Zanella
Country:Italy
Affiliation:University of Padova, Italy
Research interests:Formal Methods, Static Analysis, Abstract Interpretation, Machine learning

Contributions

SAS 2020 Committee Member in Artifact Evaluation Committee within the SAS-track