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.