Diego Latella

Diego Latella received his Laura in Computer Science (cum Laude) at the University of Pisa in 1983. During 1984-85 he was associate researcher with the Department of Computer Science of the University of Pisa. In 1986 he joined the Italian National Research Council (CNR) where he works, as Senior Researcher, in the Formal Methods and Tools Lab of the Istituto di Scienza e Tecnologie dell'Informazione ``A. Faedo''. He has been lecturing at University of Pisa from 1988 to 2008. In 1992 he was Academic Visitor of the Formal Methods and Tools Group at the University of Twente - NL.  He has served as PC member/chair of several conferences, workshops and schools  He is member of ACM , IFIP TC6-WG6.1, EATCS, the ERCIM WG on Formal Methods for Industrial Critical Systems - FMICS (Co-Initiator) and the one on Models and Logics for Quantitative Analysis (MLQA).  The current main research interests of D. Latella fall in the area of formal specification and verification models for concurrent, collective and adaptive systems, and their application. In particular, he is interested in semantic models and verification technologies for process algebras and automata, their extensions with stochastic-time and/or probabilities and their scalability. D. Latella is strongly convinced that researchers  have to strive not only for scientific excellence but also for just and ethical application of their results. Furthermore, given their priviledged position, they bear the responsibility of the impact of their research on society. For this reason D. Latella has been member of professional associations like the Association for Computing Machinery, Computer Professionals for Social Responsibility and USPID (which he is currently National Secretary of) and he has been giving several undergraduate courses on Ethical and Social Responsibility of Computer Professionals.