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.Latella
isti.cnr.it
http://www.isti.cnr.it/People/D.Latella
Last update: June 14, 2011 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
. 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'' 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 the Implementation of Functional Programming Languages
(1988-1992), on the 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 he has been/is 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 (e.g. MLQA 2011). He is member of ACM , IFIP
TC6-WG6.1, EATCS, the ERCIM working Groups on Formal Methods
for Industrial Critical Systems - FMICS
(Board member) and on
Models and Logics for Quantitative Analysis - MLQA (Steering
Committee member), USPID (National Secretary), and INES
(Council member).
He is member of the Advisory
Board of Privacy
International and of the ISTI Council.
Click here for a complete Curriculum Vitae (in
italian).
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 for mobility and with deterministic-time
and/or stochastic-time and/or probabilities. Moreover, he is also interested in
similar extensions of modal/temporal logics.
Last but not least, he is rather
concerned with/about the (ir-)responsible use of computers and the risks for
society which might arise from it.