Dr. Michele Loreti

Dr. Michele Loreti is a researcher at University of Firenze and an adjunct professor at IMT. In the last 10 years he has collaborated to the FET projects AGILE, MIKADO, SENSORIA and is currently involved in the IP Project ASCENS. His research activity is focused on language implementation and the study of formal tools for specifying and verifying qualitative and quantitative properties of concurrent and distributed systems.