Gianluca Amato -

Registered user since Fri 3 Jun 2022

Name:Gianluca Amato

Country:Italy

Affiliation:University of Chieti-Pescara

Personal website: http://www.sci.unich.it/~amato

GitHub: https://github.com/amato-gianluca

Research interests:Static analysis of software, assisted theorem proving

Contributions

2024

ICFP

Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track

2022

FTfJP

Author of On the need for a common API for abstract domains of object-oriented programs within the FTfJP-track