Rocco De Nicola

De Nicola (1954) è professore ordinario presso il Dipartimento di Sistemi ed Informatica
dell'Università di Firenze dal 1995. Ha ricevuto la laurea in Scienze dell'Informazione
dall’Università di Pisa ed il titolo di Ph.D. in Computer Science dalla University of Edinburgh. Ha
lavorato per la Olivetti e la Italtel dal 1978 al 1980, ed ha svolto attività di ricerca presso
l'Università di Edimburgo, l'IEI-CNR di Pisa ed è stato professore ordinario all'Università di Roma
"La Sapienza".


De Nicola è coordinatore del Dottorato in Informatica ed Applicazioni dell'Università di Firenze ed
è o è stato reponsabile di progetti di ricerca finanziati dal MURST, dal CNR, dalla UE e da
Microsoft. I suoi interessi di ricerca riguardano i fondamenti del calcolo distribuito, la specifica
formale e la prova di proprietà di sistemi software, la programmazione e la protezione di reti di
calcolatori. È autore di circa cento pubblicazioni su riviste internazionali o su atti di congressi
internazionali.