Posta elettronica
porta questa
pagina con te
Struttura Dipartimento di Matematica
Telefono 0498271369
Qualifica Professore ordinario
Settore scientifico INF/01 - INFORMATICA
Rubrica di Ateneo  Visualizza

Orario di ricevimento
Dipartimento di Matematica, Torre Archimede (IV piano), via Trieste 63, Padova Ricevimento su appuntamento: Si prega di inviare una richiesta di ricevimento mediante email.
(aggiornato il 09/04/2014 13:05)

Proposte di tesi
Research topics:
-- abstract interpretation
-- static program analysis
-- software verification
-- program semantics

Curriculum Vitae
Francesco Ranzato received 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 doctoral positions funded by CNR (Italian National Research Council) and University of Padova. From 1999 to 2002 he was assistant professor in Computer Science at the University of Padova, from 2002 to 2019 he was an 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. On December 2006 he held a visiting "Directeur de Recherche" position of French CNRS at Ecole Polytechnique, Paris, France. His research interests include abstract interpretation, static program analysis, semantics of programming languages, automatic verification by model checking, behavioural equivalences in process algebras, lattice theory. He has been co-recipient of the 2013 Microsoft Research Software Engineering Innovation Foundation Award, monetary award of 25.000$. He has been co-recipient of the Distinguished Paper Award at the ACM SIGPLAN POPL 2019 Symposium. He has been or is member of program committees of international conferences and organizer of international workshops on programming languages, static analysis and abstract interpretation. He has been invited speaker at international conferences, workshops and at international research institutes (in Europe and US) and teacher of graduate courses on abstract interpretation. He has been member of international Ph.D. committees across Europe. He is author of about 65 publications on the aforementioned areas in refereed international journals and conferences. As far as project funding and management is concerned, he has been or is principal investigator of a number of research projects concerning abstract interpretation and model checking, that have been funded by MUR (Italian Minister of University and Research) under action FIRB (about 200.000 Euro) and action PRIN (about 70.000 Euro) and by University of Padova (about 40.000 Euro). He has been scientific supervisor of a number of post-doc research grants funded by University of Padova (about 40.000 Euro).

Aree 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


R. Giacobazzi, F. Logozzo and F. Ranzato. Analyzing program analyses. In S. Rajamani and D. Walker, editors, Proceedings of the 42nd Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'15), Mumbai, India, pages 261-273, ACM Press, 2015. Video of the POPL talk in Mumbai.

S. Dissegna, F. Logozzo and F. Ranzato. An abstract interpretation-based model of tracing just-in-time compilation. ACM Transactions on Programming Languages and Systems, 38(2), Article No. 7, 50 pages, 2016.

F. Ranzato. Abstract interpretation of supermodular games. In X. Rival editor, Proceedings of the 23rd International Static Analysis Symposium (SAS'16), Edinburgh, UK, LNCS vol. 9837, pages 403-423, Springer, 2016.

F. Ranzato. Abstracting Nash equilibria of supermodular games. Formal Methods in System Design, to appear, 2017.

F. Ranzato editor. Static Analysis, Proceedings of the 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Lecture Notes in Computer Science vol. 10422, 2017.

F. Ranzato. A new characterization of complete Heyting and co-Heyting algebras. Logical Methods in Computer Science, 13(3:25), 2017.

F. Ranzato. On constructivity of Galois connections. In I. Dillig and J. Palsberg editors, Proceedings of the 19th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'18), Los Angeles, CA, LNCS vol. 10747, pages 452-473, Springer, 2018.

P. Cousot, R. Giacobazzi and F. Ranzato. Program analysis is harder than verification: A computability perspective. In H. Chockler and G. Weissenbacher editors, Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18), Oxford, UK, LNCS vol. 10981, Springer, to appear, 2018.

F. Ranzato and M. Zanella. Invertible linear transforms of numerical abstract domains.. In A. Podelski editor, Proceedings of the 25th International Static Analysis Symposium (SAS'18), Freiburg im Breisgau, Germany, LNCS vol. 11002, Springer, 2018.

Pubblicazioni del docente in PDF: 61CC07FD2C9D275DEA197A74DD095A24.pdf

Insegnamenti dell'AA 2019/20
Corso di studio (?) Curr. Codice Insegnamento CFU Anno Periodo Lingua Responsabile
SC1167 COMUNE SC02123180 10 II Anno (2019/20) Annuale ITA FRANCESCO RANZATO
SC1176 COMUNE SCP6076339 6 I Anno (2019/20) Annuale ITA FRANCESCO RANZATO