Brief CV

De Nicola got the "Laurea in Scienze dell'Informazione" from UniversitÓ di Pisa (IT) in 1978 and the Ph.D. in Computer Science fom University of Edinburgh (UK) in 1985. De Nicola is a full professor at IMT Lucca. He has been at Dipartimento di Sistemi e Informatica, of Universita' di Firenze, from 1995 till july 2011. From 1990 till 1995, he has been a full professor at Dipartimento di Scienze dell'Informazione, Universita di Roma 'La Sapienza'. 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 the author of more than 130 publications in international journals or books with international editors, and has been "invited speaker" at international conferences and schools, and "program chair" and member of program committees of many international conferences. He is a member of the Academia Europaea, of Gruppo 2003 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. De Nicola is the coordinator of the PhD in Computer Science and Applications of IMT and is, or was, responsible for various research projects funded by MURST, CNR and the European Community and Italian and foreign companies.