Presentazione

Teacher Details

RANZATO FRANCESCO

Professor L. 240/2010

Department of Mathematics

0498271369

francesco.ranzato@unipd.it

http://www.math.unipd.it/~ranzato

INF/01

Scientific Curriculum

Francesco Ranzato ha conseguito la laurea in Matematica con lode e il dottorato di ricerca in Informatica Matematica entrambi presso l'Università di Padova. Ha usufruito di borse post-dottorato finanziate dal CNR e dell'Università di Padova. E` stato ricercatore di Informatica dal 1999 e professore associato dal 2002. Ha ricoperto una posizione temporanea di direttore di ricerca del CNRS francese presso l'Ecole Polytechnique di Parigi. Gli interessi di ricerca di Francesco Ranzato includono l'interpretazione astratta, l'analisi statica dei programmi, la semantica dei linguaggi di programmazione, la verifica automatica di sistemi mediante model checking, le equivalenze comportamentali nelle algebre di processi e la teoria dei reticoli. Francesco Ranzato insegna o ha insegnato corsi di Fondamenti di Informatica, Programmazione, Programmazione Orientata agli Oggetti, Semantica dei Linguaggi di Programmazione e Verifica e Analisi Statica e corsi di Interpretazione Astratta per il dottorato di ricerca. È autore di più di 45 pubblicazioni riguardanti le aree precedentemente citate in riviste e congressi internazionali con revisione.

Most Relevant Publications

1. RANZATO F., ROSSI DORIA O, TAPPARO F (2008). A forward-backward abstraction refinement algorithm. In: Proc. 9th International Conf. on Verification, Model Checking and Abstract Interpretation (VMCAI'08). San Francisco (CA), vol. 4905 Springer LNCS, p. 248-262, ISBN/ISSN: 978-3-540-78162-2. 2. RANZATO F., TAPPARO F (2008). Generalizing the Paige-Tarjan algorithm by abstract interpretation. INFORMATION AND COMPUTATION, vol. 206(5); p. 620-651, ISSN: 0890-5401. 3. RANZATO F., F. TAPPARO (2007). A new efficient simulation equivalence algorithm. In: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS'07). Wroclav, PolandIEEE Press, p. 171-180, ISBN/ISSN: 0-7695-2908-9. 4. RANZATO F., TAPPARO F (2007). Generalized strong preservation by abstract interpretation. JOURNAL OF LOGIC AND COMPUTATION, vol. 17; p. 157-197, ISSN: 0955-792X. 5. GIACOBAZZI R., RANZATO F. (2006). Incompleteness of states w.r.t. traces in model checking. INFORMATION AND COMPUTATION, vol. 204(3); p. 376-407, ISSN: 0890-5401.