Servizio momentaneamente sospeso per manutenzione.
Rubrica
Qualifica
Professore Ordinario
Indirizzo
VIA TRIESTE, 63 - TORRE ARCHIMEDE - PADOVA
Telefono
0498271369
Francesco Ranzato earned the Laurea degree cum laude in Mathematics and the Ph.D. in Computer Science, both at the University of Padova, Italy. On 1995 he visited the Laboratoire d'Informatique of Ecole Polytechnique, Paris, France. From 1997 to 1998 he held post-doc positions funded by CNR and the University of Padova. From 1999 to 2019 he was first assistant and, from 2002, associate professor in Computer Science at the University of Padova. Since 2019 he is a full professor in Computer Science at the University of Padova. In December 2006 he held a visiting "Directeur de Recherche" position of French CNRS. His research interests include abstract interpretation, static program analysis, program verification, verification of machine learning models, and behavioral equivalences in process algebra. He has been co-recipient: of a 2013 Microsoft Research Software Engineering Innovation Foundation Award; a 2020 Facebook Research Award on Probability and Programming research; a 2021 Amazon Research Award; and a 2022 WhatsApp Research Award. He has been a co-recipient of the Distinguished Paper Award at the ACM SIGPLAN POPL 2019 Symposium and the ACM/IEEE LICS 2021 Symposium. He has been a member of program committees of international conferences (POPL, AAAI, ESOP, CSF, MFCS, SAS, etc) and is an editor of the Formal Methods in System Design journal published by Springer. He has been invited speaker at international conferences and at international research institutes, and teacher of graduate courses on abstract interpretation. He has been a member of international Ph.D. committees across Europe. He authored about 90 publications in refereed international journals and conferences. As far as project funding and management is concerned, he has been or is the principal investigator of several research projects concerning abstract interpretation and program analysis, that have been funded by MUR (Italian Minister of University and Research) under actions FIRB and PRIN, the University of Padova, Microsoft, Facebook and Amazon. He has been the scientific supervisor of several post-doc research fellows. He has been elected chair of the Bachelor and Master degrees in Computer Science for the term 2015-2019.
Avvisi
Orari di ricevimento
presso Dipartimento di Matematica, Torre Archimede (VI piano), via Trieste 63, Padova
Meeting by appointment: Please send a request by email.
Insegnamenti
- PROGRAMMAZIONE AD OGGETTI, AA 2023 (SC02123180)
- SOFTWARE VERIFICATION, AA 2023 (SCQ0089515)
- SOFTWARE VERIFICATION, AA 2023 (SCQ0089515)
- PROGRAMMAZIONE AD OGGETTI, AA 2022 (SC02123180)
- SOFTWARE VERIFICATION, AA 2022 (SCQ0089515)
- SOFTWARE VERIFICATION, AA 2022 (SCQ0089515)
- PROGRAMMAZIONE AD OGGETTI, AA 2021 (SC02123180)
- SOFTWARE VERIFICATION, AA 2021 (SCQ0089515)
- SOFTWARE VERIFICATION, AA 2021 (SCQ0089515)
- PROGRAMMAZIONE AD OGGETTI, AA 2020 (SC02123180)
- SOFTWARE VERIFICATION, AA 2020 (SCQ0089515)
- PROGRAMMAZIONE AD OGGETTI, AA 2019 (SC02123180)
- VERIFICA DEL SOFTWARE, AA 2019 (SCP6076339)
Pubblicazioni
RECENT PUBLICATIONS
F. Ranzato and M. Zanella. Abstract interpretation of decision tree ensemble classifiers. In V. Conitzer and F. Sha editors, Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI'20), New York, NY, Vol. 34, No. 04, AAAI-20 Technical Track: Machine Learning, pages 5478-5486, AAAI Press, 2020.
F. Ranzato. Decidability and synthesis of abstract inductive invariants. In Igor Konnov and Laura Kovacs editors, Proceedings of the 31st International Conference on Concurrency Theory (CONCUR'20), Online Conference (originally planned in Vienna, Austria), Leibniz International Proceedings in Informatics (LIPIcs) volume 171, article No. 30, pp. 30:1-30:21, 2020.
F. Ranzato and M. Zanella. Genetic Adversarial Training of Decision Trees. In K. Krawiec editor, Proceedings of the 2021 Genetic and Evolutionary Computation Conference (GECCO'21), Online Conference (originally planned in Lille, France). ACM Press, pages 358-367, 2021.
R. Bruni, R. Giacobazzi, R. Gori and F. Ranzato. A Logic for Locally Complete Abstract Interpretations. In L. Libkin editor, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'21), Online Conference (originally planned in Rome, Italy), ACM, 2021. Distinguished LICS paper award.
P. Baldan, F. Ranzato and L. Zhang. A Rice's Theorem for Abstract Semantics. In N. Bansal, E. Merelli, and J. Worrell editors, Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP'21), Online Conference (originally planned in Glasgow, Scotland), Leibniz International Proceedings in Informatics (LIPIcs) volume 198, Article No. 117, pp. 117:1-117:19, 2021.
K. Doveri, P. Ganty, F. Parolini and F. Ranzato. Inclusion Testing of Büchi Automata based on Well-quasiorders. In S. Haddad and D. Varacca editors, Proceedings of the 32nd International Conference on Concurrency Theory (CONCUR'21), Online Conference (originally planned in Paris, France), Leibniz International Proceedings in Informatics (LIPIcs) vol. 203, Article No. 3, 2021.
F. Ranzato, C. Urban and M. Zanella. Fairness-Aware Training of Decision Trees by Abstract Interpretation. In Proceedings of the 30th ACM International Conference on Information and Knowledge Management (CIKM'21), Online Conference (originally planned in Gold Coast, Queensland, Australia). Pages 1508-1517, ACM Press, 2021.
P. Ganty, F. Ranzato and P. Valero. Complete abstractions for checking language inclusion. ACM Transactions on Computational Logic, vol. 22(4), Article No.22, 2021.
R. Giacobazzi and F. Ranzato. History of abstract interpretation. IEEE Annals of the History of Computing, 44(2):33-43, 2022.
R. Bruni, R. Giacobazzi, R. Gori and F. Ranzato. Abstract interpretation repair. In I. Dillig and R. Jhala editors, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI'22), San Diego, CA, USA, pp. 426-441, ACM, 2022.
R. Bruni, R. Giacobazzi, R. Gori and F. Ranzato. A correctness and incorrectness program logic. Journal of the ACM, vol. 70(2), article 15, 45 pages, 2023.
N. Fassina, F. Ranzato and M. Zanella. Robustness Certification of k-Nearest Neighbors. In Proceedings of the 23rd IEEE International Conference on Data Mining (ICDM'23), Shanghai, China. IEEE, pages 110-119, 2023.
Area di ricerca
– Abstract interpretation and static program analysis
– Semantics of programming languages
– Behavioral equivalences in process calculi
– Model checking and system verification
– Computation of Nash equilibria of games
– Computability and formal language theory
– Analysis of machine learning classifiers
– Probabilistic reactive systems
– Logic and functional programming
– Universal algebra, lattice theory, domain theory
Tesi proposte
Research topics:
-- abstract interpretation
-- static program analysis
-- software verification
-- program semantics
-- verification of machine learning models
-- algorithms for automata and formal languages
