Angelo Ferrando


is a PhD Student at the University of Genova. His  research interests are focused on Multi-Agent Systems (MASs) and Runtime Verification (RV). Since from his master's thesis he has been working on  the design and implementation of a compact and expressive formalism (based on Session Types theory) to be used for the RV of MASs:/Trace Expressions/. With respect to the standard /Centralized/ approach, he has been trying to follow a more decentralized way to solve RV problems, in particular studying the possible use of the Decentralized Runtime Verification (DRV) to improve the efficiency avoiding bottlenecks issues during the runtime monitoring of big MASs.



Articles published on IXD&A:


Hackmytown: an Educational Experience on Smart Cities, N.32, 2017, pp. 153 - 164, abstractdownload