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.
In 1986 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 Lab.
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 the MT-LAB of 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), Co-organizer of the
USPID-Pugwash Joint
International Castiglioncello biennial Conferences form 2010 to 2019, 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 the Comitato
di Gestione [Management Board] of the
Laboratorio su
Informatica e Società of the italian Consorzio Interuniversitario Nazionale per
l'Informatica (CINI), and Coordinator of the
CNR-ISTI node
of the Lab.
He is co-founder of the Gruppo Interdisciplinare su Scienza, Tecnologia e Società (GI-STS)
of Area della Ricerca CNR di Pisa and member of the Comitato di Gestione
[Management Board] of the GI-STS.
He is member of ACM, IFIP TC6-WG6.1, EATCS, the ERCIM working Group on Formal Methods for Industrial Critical
Systems - FMICS (co-founder, Chair from 1996 to 1999, Member of the Board from 1996 to 2020),
the International School on Disarmament and Research on Conflicts -
ISODARCO (Member of the Board of Directors), and Unione degli Scienziati Per Il Disarmo - USPID (Scientific Council, National Secretary from 2010 to 2019).
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. More recently, he has been working on models for physical/abstract space based on the notion of closure space, as a generalisation of
topological spacess, and related modal logics and odel-checking techniques. The latter have been successfully applied to madical image analysis.
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 and actively contributes to the discussion on the impact on Society of Computer Technology.
Information on the publications of Diego Latella can be found in his list of publications via the ISTI Open Portal. See also the list on DBLP and Google Scholar.