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.