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 0506212982
mobile: +39 348 8283101

fax   : +39 0503152040
email : Diego.Latella [AT]

Last update: Dec. 12,  2017  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 DTU, 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.1EATCS,  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 approaches to design and modeling of distributed and complex systems, and related model analysis techniques.

In particular, he is  interested in semantic models for process algebras and automata, and their quantitative extensions (e.g. with deterministic-time and/or stochastic-time and/or probabilities) as well as modal logics based on such models. Extensions include also approximated semantic models, based on mean-field approximation techniques, models of space and their integration with computational models. Moreover, he is also interested in similar extensions of modal/temporal logics and on verification techniques, mainly model-checking, for them.

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.


Information on my publications can be found in  my list of publications at the ISTI publications site (upto 2016) and in  my list of publications via the ISTI Open Portal. See also the list on DBLP  and Google Scholar.