fbpx Rocco De Nicola | Scienza in rete
SciRe/

Rocco De Nicola

È professore di Informatica presso la Scuola IMT Alti Studi di Lucca, direttore del Centro di Competenza in Cybersecurity Toscano (C3T) e vice-direttore del Laboratorio di Cybersecurity del CINI, il Consorzio Interuniversitario di Informatica che raggruppa più di 50 Università italiane. De Nicola ha ricevuto la laurea in Scienze dell'Informazione dall’Università di Pisa e il titolo di Ph.D. in Computer Science dall'Università di Edimburgo. Ha lavorato per Olivetti e Italtel dal 1978 al 1980, e ha svolto attività di ricerca presso l'Università di Edimburgo e l'IEI-CNR di Pisa; è inoltre stato professore ordinario all'Università di Roma "La Sapienza" e all'Università di Firenze. È autore di quasi trecento articoli scientifici su tematiche connesse ai sistemi distribuiti e alla loro sicurezza e alla specifica e verifica di loro proprietà. È fellow dell'EATCS, l'associazione europea degli informatici teorici, membro dell'Accademia Europea e socio fondatore del Gruppo 2003. È editor in chief della rivista Elsevier Journal of Logical and Algebraic Methods in Programming e associate editor di varie altre riviste internazionali.