Rocco De Nicola

Rocco De Nicola, PhD in Computer Science - Università di Edimburgo, già professore di Informatica e rettore della Scuola IMT Alti Studi Lucca. Ha lavorato per Olivetti, Italtel, CNR a Pisa, Università Sapienza di Roma e Università di Firenze. Presidente del Gruppo 2003 per la ricerca.

È 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 250 pubblicazioni su riviste internazionali o altri volumi, figura nella lista dei ricercatori più citati al mondo (HiglyCited), è membro dell’Academia Europaea, “Commendatore Ordine al Merito della Repubblica Italiana” e fellow dell’EATCS, l’associazione europea degli informatici teorici.

De Nicola si occupa di specifica formale e prova di proprietà di sistemi, e di programmazione e protezione di sistemi distribuiti. De Nicola è anche editor in chief della rivista Elsevier Journal of Logical and Algebraic Methods in Programming e associate editor di varie altre riviste internazionali ed è  coordinatore del dottorato Nazionale in Cybersecurity, vicedirettore del Laboratorio Nazionale di Cybersecurity del CINI e direttore del Centro di Competenza sulla Cybersecurity Toscano (C3T).