Francesco Ranzato
Professor · Abstract Interpretation
Max Planck Institute for Software SystemsGermany
About
Francesco Ranzato is a Professor at the University of Padova, affiliated with the Department of Mathematics. His research spans abstract interpretation, static analysis, program verification, and formal methods in machine learning and concurrency theory.
- University: University of Padova
- Department: Department of Mathematics
- Research Interests: Abstract Interpretation, Static Analysis, Program Verification, Machine Learning Robustness
Research Trends
Francesco's recent work bridges abstract interpretation with machine learning verification, focusing on robustness certification for classifiers like decision trees, k-NN, and SVMs. He also advances algorithms for simulation and bisimulation in concurrent systems.
Scientific Awards
- Distinguished POPL Paper Award (2019)
- Distinguished LICS Paper Award (2021)
- Facebook/WhatsApp Privacy-Aware Program Analysis Award (2022)
- Amazon Research Award (2023)
Francesco has mentored research groups through open-source projects like SAVer, Meta Silvae, and ERC, and contributed to ACM, IEEE, and Springer publications.
0Publications listed
Find Francesco Ranzato elsewhere
Related Searches
You Might Also Like
Francesco RanzatoUniversity of Padua · Professor
Pierre GantyIMDEA Software Institute · Research Professor
Francesco RinaldiUniversity of Padua · Professor
Gianluca AmatoD'Annunzio University · Associate Professor
Conrad WattInria · Assistant Professor- AAlexandra SilvaMax Planck Institute for Software Systems · Professor