Professor of Computer Science at the IMT School for Advanced Studies in Lucca, director of the Center of Competence in Tuscan Cybersecurity (C3T) and deputy director of the Cybersecurity Laboratory of CINI, the Interuniversity Consortium of Computer Science that brings together more than 50 Italian universities. De Nicola received a degree in Information Science from the University of Pisa and a Ph.D. in Computer Science from the University of Edinburgh. He worked for Olivetti and Italtel from 1978 to 1980, and carried out research at the University of Edinburgh and the IEI-CNR of Pisa; he was also full professor at the University of Rome "La Sapienza" and at the University of Florence. He is the author of almost three hundred scientific articles on issues related to distributed systems and their security and the specification and verification of their property. He is a fellow of EATCS, the European association of theoretical computer scientists, a member of the European Academy and a founding member of Gruppo 2003. He is the editor in chief of the Journal of Logical and Algebraic Methods in Programming published by Elsevier and associate editor of many other international journals.