Research Activity

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

Matteo Casadei is serving as a reviewer of the following international journals:
Avatar