Michele Loreti

Michele Loreti si è laureato in Scenze dell'Informazione presso l'Università di Roma "La Sapienza" ed ha ottenuto il dottorato in Logica Matematica ed Informatica Teorica presso l'Università di Siena. Dal 2002 è Ricercatore di Informatica presso l'Università degli Studi di Firenze dove si occupa di metodi formali per la specifica e verifica di proprietà qualitative e quantitative di sistemi concorrenti, distribuiti e mobili.

 

Facciamo in modo "smart" le smart city

Le smart city, o meglio, come fare diventare smart le nostre città, è ormai argomento all'ordine del giorno di tanti i progetti di innovazione e sviluppo, oltre che dell'agenda politica di molte amministrazioni.