Research Activity

 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