Name:Vincenzo Arceri

Country:Italy

Affiliation:University of Parma - Department of Mathematical, Physical, and Computer Sciences

Research interests:Abstract interpretation, Static analysis, Program analysis