Presentazione

Dettaglio Docente

FILE\' GILBERTO

Professore ordinario

Dipartimento di Matematica

049-8271489

gilberto.file@unipd.it

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

INF/01

Curriculum Scientifico

1976: Laurea in Ingegneria Elettronica presso L'Universita di Bologna. 1977: Master in Informatica conseguito presso la Pennsylvania State University (USA). 1983: Ph.D in Informatica conseguito presso l'Universita Tecnica di Twente, Enschede, (Olanda). Dal 1983 all1987 e Charg de Recherche del CNRS presso il laboratorio di Informatica dell'Universita di Bordeaux I in Francia. Dall 1987 e Professore Ordinario di Informatica presso l'Universita di Padova. Il suo principale interesse di ricerca e lanalisi statica dei linguaggi ed in particolare linterpretazione astratta. In questambito si e occupato di disegno sistematico di domini astratti e pi recentemente si occupa di verifica automatica di propriet di sicurezza di protocolli di comunicazione.

Pubblicazioni più Rilevanti

1.A.Cortesi, G.Fil and W.Winsborough The Quotient of an Abstract Interpretation. Theoretical Computer Science, 202 (1998), 163-192. 2.Agostino Cortesi, Gilberto Fil Sharing is optimal. Journal of Logic Programming vol. 38 (3) (1999), pp. 371-386). 3.Gilberto Fil, Francesco Ranzato The powerset operator on abstract interpretations. Theoretical Comp. Science, 222 (1999), pp. 77-111. 4.Livio Colussi, Gilberto Fil, A. Griggio Precise Analysis of pi-Calculus in Cubic Time. IFIP TCS (2004), Toulouse, pp. 317-332. 5.Gilberto Fil, Roberto Vigo Expressive power of definite clauses for verifying authenticity. Accepted at 22nd CSF Conference, Port Jefferson (USA), July 2009.