The Director

Michele Loreti
Professor of Computer Science

Head of the School of Advanced Studies

Michele Loreti’s research activity is focused on the study of formal tools for specifying and verifying qualitative and quantitative properties of concurrent and distributed systems.

Curriculum

List of publications  

Teaching