Presentazione

Dettaglio Docente

RANZATO FRANCESCO

Professore associato confermato

Dipartimento di Matematica

0498271369

francesco.ranzato@unipd.it

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

INF/01

Curriculum Scientifico

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.

Pubblicazioni più Rilevanti

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.