Dr. Diego Latella has been a Senior Researcher at CNR-ISTI since 2002. He graduated (with honors) in Computer Science at the University of Pisa in 1983 and joined CNR shortly after as a researcher. He is a member of the programme committee of many conferences and workshops. He was the programme committee co-chair of FORTE/PSTV-2000 and iFM 2012. He is a member of the ACM, IFIP TC6-WG6.1, EATCS, the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS), and the one on Models and Logics for Quantitative Analysis (MLQA). His current main research interests fall in the area of formal specification and verification models for concurrent systems and their application. In particular, he is interested in semantic models and verification technologies for process algebras and automata, and their extensions with stochastic-time and/or probabilities. Moreover, he is also interested in similar extensions of modal/temporal logics.