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.