L'attività di ricerca di Michele Loreti è centrata sullo studio degli strumenti formali per la specifica e la verifica di proprietà qualitative e quantitative di sistemi concorrenti e distribuiti. I principali argomenti di queste ricerche sono:
Michele Loreti has been the coordinator of the project Strumenti formali ed automatici di supporto alla programmazione di codice mobile Funded by Università degli Studi di Firenze within the Young Researchers Initiative 2000.Moreover, he has contributed to the following national and international research projects:
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. Main topics of such researches are:
Some of the outcomes of Michele Loreti’s research are TAPAs, a Tool for the Analysis of Process Algebras, supporting (teaching of) specification and verification of concurrent systems, SAM and SoSL-MC, two tools for the quantitative analysis of distributed systems, and Java--, a programming environment for supporting teaching (and assessing) the basics of the Java language to students of a first programming undergraduate course to test their Java code.Michele Loreti has also contributed to the development of Klaim, a Kernel Language for Agents Interaction and Mobility, and of IMC, Implementing Mobile Calculi, and JDpi.