Diego Latella

Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” – CNR di Pisa

Diego Latella si è laureato (con lode) in informatica all’Università di Pisa nel 1983. È stato ricercatore associato al dipartimento di scienze dell’informazione della stessa università e dal 1986 fa parte del CNR, dove è attualmente primo ricercatore presso il laboratorio Metodi e Strumenti Formali dell’Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” di Pisa. Ha insegnato per vent’anni all’Università di Pisa, è stato Academic Visitor presso il gruppo di Metodi e Strumenti Formali dell’Università di Twente, Visiting Professor all’MT-Lab dell’Università Tecnica di Danimarca a Copenhagen, e ha partecipato all’organizzazione di diverse conferenze, laboratori e scuole. I suoi interessi scientifici ricadono nell’area dei modelli formali di specifica, verifica e applicazione di sistemi concorrenti, collettivi e adattivi, e dei modelli matematici dello spazio, la logica e il model-checking spaziale. Diego Latella è anche attivamente coinvolto nello studio e la divulgazione dell’impatto sociale delle tecnologie dell’informazione, con particolare riferimento alle applicazioni militari.