conf.researchr.org / Marco Zanella
![Marco Zanella](https://conf.researchr.org/getProfileImage/marcozanella/bd1f0461-627a-46d8-b4be-21917ddcc51a/small.jpg?1711519976000)
Registered user since Sun 31 May 2020
Name:Marco Zanella
Country:Italy
Affiliation:University of Padova, Italy
Personal website: http://hit.psy.unipd.it/zanella-marco
Research interests:Formal Methods, Static Analysis, Abstract Interpretation, Machine learning
Contributions