Description: Personal homepage
Davide Basile, Ph.D. Permanent Researcher @ Formal Methods & Tools (FMT) Istituto di Scienza e Tecnologie dell'Informazione “A. Faedo” (ISTI) Consiglio Nazionale delle Ricerche (CNR) Area della Ricerca di Pisa, Loc. San Cataldo, Via Moruzzi 1, I-56124 Pisa, Italy Room : I-45 Phone : +39 050 315 2796
E-mail : [email protected]
I am a permanent researcher at the Formal Methods && Tools Laboratory (FMT-lab) of the Institute of Information Science and Technology (ISTI) of the National Research Council (CNR) in Pisa, Italy.