Home Page » 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:

Contact Info

Address:
APICe Laboratory
Via Venezia, 52
47023, Cesena (FC)
Italy

Phone:
+39 0547 339 210
Fax:
+39 0547 339 208

Email:
m.casadei@unibo.it
macasadei@deis.unibo.it