Francesco Ranzato

Registered user since Tue 12 Nov 2024

Name:Francesco Ranzato
Bio:

Professor of Computer Science with the Department of Mathematics “Tullio Levi-Civita”, University of Padova, Italy. Since 1994, he has been working on abstract interpretation principles and applications.

Country:Italy
Affiliation:Dipartimento di Matematica, University of Padova, Italy
Research interests:Programming Languages, Abstract Interpretation, Program Analysis, Program Verification, Program Logics

Contributions