Rocco De Nicola (PhD in Computer Science from Edinburgh University) is a full professor at IMT School for Advanced Studies in Lucca (Italy), and is among the ISI HiglyCited researchers for Computer Science. He has also been full professor at Università di Firenze, from 1995 till 2011 and at Università di Roma 'La Sapienza' from 1990 till 1995. Before that he was a full time researcher at IEI-CNR, Pisa and worked at Edinburgh University and for Italtel in Milano and Olivetti in Pisa. He has ben visiting professor at Ecole Normale Supérieure in Paris and at Ludwig Maximilian University of Munich. The research interests of De Nicola concern: the foundations of distributed computing, the formal specification and checking of qualitative and quantitative properties of systems, the protection of distributed systems and computer networks. De Nicola is a member of the advisory boards of various research institutions and in the steering committee of important series of conferences. He has been invited speaker, PC chair and PC member for many international conferences and workshops. He is a member of the Academia Europaea, and of Working Group 2.2 and 1.9 of IFIP. In 2005 he was appointed "Commander of the Order of Merit of the Italian Republic" by the President of the Italian Republic. From January 2014, De Nicola is the editor in chief of the Journal of Algebraic and Logical Methods in Programming published by Elsevier. Moreover, he is, or has been, principal investigator for many research projects funded by MURST, CNR, the European Community and by national and international companies.
