Francesco Ranzato

francesco.ranzato@unipd.it

Telefono

0498271369

Luogo

Dipartimento di Matematica "Tullio Levi-Civita" - DM
VIA TRIESTE, 63 - TORRE ARCHIMEDE - PADOVA

Ricevimento

Dipartimento di Matematica, Torre Archimede (VI piano), via Trieste 63, Padova Meetings by appointment only. Please send your request via email.

Profilo

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, the ACM/IEEE LICS 2021 Symposium, and the ACM SIGSAC CCS 2025 Conference. 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 100 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.