Diego Latella

Diego Latella ha studiato Computer Science presso l’Università di Pisa, laureandosi nel 1983. Nel 1986 entra a far parte del CNUCE, un Istituto del Consiglio Nazionale delle Ricerche italiano. Nel 2002 il CNUCE e l’Istituto di Elaborazione dell’Informazione del CNR si sono uniti, formando l’Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” presso il quale lavora in Formal Methods and Tools group. É stato Academic Visitor presso l’Università di Twente - NL. e Visiting Professor presso MT-LAB a Lyngby, Copenhagen, DK. Ha fatto parte di comitati di numerose conferenze e workshop. È membro di ACM, IFIP TC6-WG6.1, EATCS, ERCIM working Groups on Formal Methods for Industrial Critical Systems.

Eventi

Convegno
mercoledì 26 novembre 2014, ore 15:30 - 18:30 | Sala Stemmi – Palazzo della Carovana, Scuola Normale Superiore
Wiener’s Day for Peace
Scienza interdisciplinare, etica e pacifica

Privacy | Contatti

beautifulminds marchio di Adiuvare S.r.l. Partita IVA 15662501004