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:University of Padova
Personal website: https://www.math.unipd.it/~ranzato
Research interests:Programming Languages, Abstract Interpretation, Program Analysis, Program Verification, Program Logics
Contributions
2025
Using general profile