My research is concerned with the study of formal tools for specifying and verifying qualitative and quantitative properties of concurrent and distributed systems with an emphasis on large scaled Cyber Physical Systems. I am author of more than 100 publications in international journals or books with international editors, and I have been "program chair" and member of program committees of many international conferences. Currently, I am in the the editorial board of the Elsevier Journal on Logical and Algebraic Methods in Programming (as assistant editor) and of the ACM Transactions on Modelling and Computer Simulation (as a member of the Reproducibility Board).