De Nicola is a professor of Computer Science at IMT Lucca. He has been full professor at Dipartimento di Sistemi e Informatica of Università di Firenze from 1995 till 2011, and at Dipartimento di Scienze dell’Informazione, Università di Roma ‘La Sapienza’ from 1990 till 1995. Before that he was a full-time researcher at IEI-CNR in Pisa and worked at Edinburgh University and for Italtel in Milano and Olivetti in Pisa. He has been visiting professor at Ecole Normale Supérieure in Paris and at Ludwig Maximilian University of Munich and visiting scholar at Microsoft Research Cambridge. De Nicola graduated in Scienze dell’Informazione at Università di Pisa in 1978 and received a PhD in Computer Science from the University of Edinburgh (UK) in 1985.
At IMT, De Nicola is the director of the SysMA Research Unit, a member of Senato Accademico and the coordinator of the PhD program in Systems Science. De Nicola is also a member of Giunta Amministrativa (Executive Committee) of CINI, the deputy director of CINI National Laboratory for Cybersecurity and the director of Cybersecurity Competence Center of Tuscany (C3T).
De Nicola is a fellow of EATCS, is listed among Thomson ISI-cited researchers in the world (ISI HiglyCited) and is a member of the Academia Europaea, of Gruppo 2003 and of Working Group 2.2 and 1.9 of the International Federation for Information Processing (IFIP). In 2005 he was appointed Commendatore della Republica (Commander of the Order of Merit of the Italian Republic) by the President of Italian Republic. He is or has been member of advisory boards of international research institutions and principal investigator for many research projects funded by EU, MIUR, CNR, Regione Toscana and private companies.
The research of De Nicola is concerned with the foundations of distributed computing, the formal specification and checking of qualitative and quantitative properties of systems, and the protection of distributed systems and computer networks. Current research concentrate on:
De Nicola is the author of more than 250 publications in international journals or books with international editors, has been “invited speaker” at international conferences and schools, and “program chair” and member of program committees of many international conferences. On these topics, De Nicola collaborates with researchers from many national and international institutions and is the author of more than 250 publications in international refereed journals and conference proceedings. De Nicola has also edited books and special issues of journals and the white book: The Future of Cybersecurity in Italy: Projects and Actions to better defend Italy from cyber attacks (available also in Italian).
Currently, De Nicola is the editor-in-chief of the Journal on Logical and Algebraic Methods in Programming published by Elsevier and associate editor for Mathematical Structures in Computer Science (Cambridge University Press), Springer Nature in Computer Science and Electronics Proceedings in Theoretical Computer Science.