Research interests of Massimo Merro

My general research area is the application of Formal Methods to Concurrent Systems. More precisely, I am interested in algebraic models for concurrent and distributed systems, both from a semantics and a logic point of view. Most recently, I have been working on formal models for wireless systems such as ad hoc, sensor, vehicular, and mesh networks.

Last modified: Fri Mar 13 10:35:42 W. Europe Standard Time 2009