Dott. Diego Latella

Senior Researcher

Consiglio Nazionale delle Ricerche

Istituto di Scienza e Tecnologie dell'Informazione ``A. Faedo''(ISTI)

Via Moruzzi 1
I-56124 Pisa ( ITALY)
phone : +39 0503152982
mobile: +39 348 8283101

fax   : +39 0503152040
email : Diego.Latellaat

Last update: Nov 14,  2015  by D. Latella


D. Latella studied Computer Science at the University of Pisa where he graduated with honours in 1983. During 1984-85 he was associate researcher with the Department of Computer Science of the University of Pisa.   In1986 he  joined CNUCE, an Institute of the Italian National Research Council (CNR). In 2002 CNUCE and the Istituto di Elaborazione dell'Informazione of CNR have been joined together, forming the Istituto di Scienza e Tecnologie dell'Informazione ``A. Faedo'' (ISTI) where he works in the Formal Methods and Tools  group. He has  been lecturing at the Department of Computer Science of the University of Pisa on Implementation of Functional Programming Languages (1988-1992), on Specification Languages for Distributed Systems (1993-1995) and on  Ethical and Social Responsibility of Computer Professionals  (1999-2008). In 1992 – 1993 he was Academic Visitor of the Formal Methods and Tools  Group at the University of Twente - NL.  During february 2011 he has been Visiting Professor at MT-LAB at Lyngby (Copenhagen, DK). He has  been member of  the programme committees of several conferences and workshops and  PC Co-chair of the IFIP TC6/WG6.1 FORTE/PSTV-2000 Conference, the 9th International Conference on Integrated Formal Methods (iFM 2012),  Co-director of the  1999 and 2002  courses on cyberwar  of the International School On Disarmament and Research on Conflicts (ISODARCO) and principal organizer of several workshops.  From Dec. 1, 2008 to Nov. 3, 2015 he has been member of the Council of ISTI. He is member of  ACM, IFIP  TC6-WG6.1,  EATCS,  the ERCIM  working Groups on Formal Methods for Industrial Critical Systems - FMICS (Board member),  ISODARCO (Borad of Directors) and USPID (National Secretary). 

Major Research Interests

The current main research interests of D. Latella fall in the area of formal specification and verification models and languages for concurrent and complex systems and their application. In particular, he is  interested in semantic models and verification technologies for process algebras and automata, and their extensions with deterministic-time and/or stochastic-time and/or probabilities. Moreover, he is also interested in similar extensions of modal/temporal logics. Extensions include mean-field-/fluid-flow and space based semantics and verification techniques.

Last but not least, he is rather concerned -with responsible / -about the irresponsible use of computers and the risks for society which might arise from it.



DBLP, Google Scholar, MS Academic Research