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:
Tags:
    
Avatar

Contacts

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

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY