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.
> Teaching