Rocco De Nicola

  +39 0583 4326 730

Rocco De Nicola photo
De Nicola is a full professor at IMT Lucca. He has been full professor at Dipartimento di Sistemi e Informatica of Universita' di Firenze from 1995 till july 2011, and at Dipartimento di Scienze dell'Informazione, Universita 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 Mcrosoft Research Cambridge.  De Nicola graduated in Scienze dell'Informazione at Unversità di Pisa in 1978 and received a PhD in Computer Science from the University of Edinburgh in 1985. 
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, the protection of distributed systems and computer networks. De Nicola is the author of more than 150 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. Currently, De Nicola is the editor-in-chief of the Journal on Logical and Algebraic Methods in Programming published by Elsevier.
De Nicola figures in the list of 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 Infrmation Processing (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 director of the track in Computer Science and System Engineering of IMT PhD program and the coordinator of the Computer Science PhD program at Gran Sasso Science Institute (GSSI) in L'Aquila Applications of IMT. De Nicola is, or has been, responsible for various research projects funded by MURST, CNR and the European Community and Italian and foreign companies. He is also the director of the SysMA Research Unit.

Personal Page