Research Activity
Research Activity
Environment
Matteo Casadei's research interests are mainly focused on the following areas:
- Exact and approximate probabilistic model checking techniques for verification of self-organizing, pervasive, and mobile systems.
- Ecology-inspired approaches to building middleware for pervasive service ecosystems.
- Chemical-inspired coordination models.
- Self-organizing approaches for service-oriented architectures and pervasive environments.
- Formal modelling and simulation of complex systems and programming languages.
- Study of coordination issues in (complex) distributed systems.
- Study and engineering of self-organizing techniques for solving complex problems on distributed systems.
- Engineering of (complex) distributed systems, in particular Multi-Agent Systems (MAS).
Reviewer Activity
Matteo Casadei is serving as a reviewer of the following international journals:- Journal of Autonomous Agents and Multi-Agent Systems
Published by Springer - ACM Transactions on Autonomous and Adaptive Systems
Published by ACM - Pervasive and Mobile Computing
Published by Elsevier