معرفی
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.
۰مقاله منتشرشده
