Michele Loreti

Michele Loreti is Full Professor in Computer Science at the University of Camerino within the School of Science and Technology and serves as Director of the School of Advanced Studies. His career includes roles as Research Associate at University of Firenze (2002-2017) and Visiting Professor at IMT Institute for Advanced Studies (2012-2016). He holds a PhD in Mathematical Logic and Theoretical Computer Science from University of Siena (2001) and a Computer Science degree from University of Rome 'La Sapienza' (1997).

Research interests:

• Formal tools for concurrent/distributed systems
• Quantitative analysis of collective adaptive systems
• Spatio-temporal model checking
• Process calculi and modal logics
• Programming languages for network-aware applications
• Runtime verification and dynamic system adaptation

Article trends: His work focuses on formal verification of cyber-physical systems, spatio-temporal properties, stochastic process calculi, attribute-based communication, and tools like CARMA and muG for collective system analysis.

Editorial roles: Assistant editor for Elsevier Journal on Logical and Algebraic Methods in Programming and member of the Reproducibility Board for ACM Transactions on Modelling and Computer Simulation.