
Rocco De Nicola
Rocco De Nicola, Ph.D. in Computer Science – Università di Edimburgo, è professore di Informatica presso la Scuola IMT Alti Studi Lucca. Ha lavorato per la Olivetti, l’Italtel, il C.N.R. a Pisa, l’Università Sapienza di Roma e l’Università di Firenze. È stato visiting professor presso École Normale Supérieure di Parigi e Ludvig Maximilian University di Monaco e visiting researcher presso il Microsoft Research Center di Cambridge (UK). De Nicola è autore di più di 200 pubblicazioni su riviste internazionali o altri volumi, figura nella lista ISI-Thomson dei ricercatori più citati al mondo (HiglyCited), è membro dell’Academia Europaea e nel 2005 è stato nominato “Commendatore Ordine al Merito della Repubblica Italiana”. De Nicola si occupa di fondamenti di calcolo distribuito, specifica formale e prova di proprietà di sistemi, e programmazione e protezione di sistemi distribuiti. Attualmente è coordinatore del dottorato in Systems Science dell’IMT, vicedirettore del Laboratorio Nazionale di Cybersecurity del CINI e direttore del C3T (Centro di Competenza sulla Cybersecurity Toscano).