Research interests of Massimo Merro

My general research area includes formal methods applied to concurrent and distributed languages. In particular, I have been working on process calculi for mobile systems, concurrent and distributed object-oriented languages, and formalisation of distributed algorithms. More recently, I have been working on semantics foundations and security analysis of Mobile Ad Hoc NETworks, Cyber-Physical Systems and smart devices in the context of Internet of Things.

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