Dott. Diego Latella - Senior Researcher

 
Istituto di Scienza e Tecnologie dell'Informazione ``A. Faedo''(ISTI)
Via Moruzzi 1
I-56124 Pisa ( ITALY)
phone : +39 0506212982
fax : +39 0503152040
email : Diego.Latella [AT] cnr.it
http://www.isti.cnr.it/People/D.Latella

Last update: Feb. 14, 2023 by D. Latella



Profile

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).

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. 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.

Publications

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.

Projects

Below is a list of some of the projects Diego Latella has been participating at:
  • European Union - Next Generation EU - Italian MUR Project PNRR PRI ECS00000017 PRR.AP008.003 “THE - Tuscany Health Ecosystem";
  • Bilateral Project between CNR (Italy) and SRNSFG (Georgia) “Model-checking fop Polyhedra Logic”;
  • QUANTICOL: A Quantitative Approach to Management and Design of Collective and Adaptive Systems FP 7 FET PROACTIVE, 2013-2017;
  • CINA: Compositionality, Interaction, Negotiation, Autonomicity MIUR PRIN, 2013-2016;
  • ASCENS: Autonomic service-component ensembles FP 7 IST PROGRAMME IST, 2010-2015;
  • SENSORIA: Software Engineering for Service-Oriented Overlay Computers IST PROGRAMME IP contr. 016004, 2005-2010;
  • AGILE: Architectures for Mobility Information Societies Technology IST PROGRAMME IST-2001-32747, 2002-2004;
  • PRIDE: Ambiente di PRogettazione Integrato per sistemi DEpendable Italian Space Agency, 2002;
  • HIDE: High-level Integrated Design Environment for Dependability" EU ESPRIT Project 27439, 1998;