International School of Advanced Studies

Michele Loreti

Head of the School of Advanced Studies

Professor of Computer Science

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.

List of publications  

Teaching