The research activity of the candidate has been carried out in the context of national and international research projects. During his master degree thesis, he focused on Java bytecode verification, and his work gave the basis to a novel approach for Java bytecode verification. After graduating, his research interests included also the analysis of security properties Java Card applications. In 2005, he started his Ph.D. studies on wireless sensor networks. He developed a middleware to reconfigure wireless sensor network applications, and a battery-aware communication protocol. During his Ph.D. studies, he participated to the European Network of Excellence ReSIST, and he gained experience and skills on the formal modelling and analysis of wireless sensor networks in the Prototype Verification System (PVS) tool. He defended his Ph.D. thesis entitled "Software solutions for battery-aware reconfiguration of Wireless Sensor Networks" in 2008. In March 2009, he gained a post-doctoral research grant from the Institute of Science and Technologies - Italian National Research Council, Pisa, and he started to work on approaches for on-line dependability analysis of interoperable networked systems. Since November 2009, he has a Post-Doctoral Research Position at the University of Pisa, Department of Information Engineering, on the theme "Dependability assurance of evolvable systems". He is currently involved in the FP7 EU Project "Connect: Emergent Connectors for Eternal Software Intensive Networked Systems".
