Rettore, Scuola IMT Alti Studi di Lucca

Rocco De Nicola, PhD in Computer Science presso l’Università di Edimburgo, è professore di informatica e rettore della Scuola IMT per Studi Avanzati a Lucca. Ha svolto la sua carriera presso istituzioni prestigiose come Olivetti, Italtel, il CNR a Pisa, l’Università Sapienza di Roma e l’Università di Firenze. È stato inoltre visiting professor presso l’École Normale Supérieure di Parigi e la Ludvig Maximilian University di Monaco, nonché visiting researcher presso il Microsoft Research Center di Cambridge (Regno Unito).

De Nicola è autore di oltre 250 pubblicazioni su riviste internazionali e libri, e figura nella lista dei ricercatori più citati al mondo (ISI HiglyCited). È membro dell’Academia Europaea, “Commendatore dell’Ordine al Merito della Repubblica Italiana” e fellow dell’EATCS, l’Associazione Europea di Informatica Teorica. Inoltre, è socio fondatore del Gruppo 2003. Si occupa principalmente di specifiche formali e dimostrazioni di proprietà dei sistemi, programmazione e protezione di sistemi distribuiti, ed è il coordinatore del dottorato Nazionale in Cybersecurity, vice direttore del Laboratorio Nazionale di Cybersecurity del CINI e direttore del Centro di Competenza in Cybersecurity Toscano (C3T).