His main research areas are Context-Oriented Programming, Application of Formal Methods to the Verification, Analysis and automatic Synthesis of complex systems, Component Based Software Engineering, and Software Architectures with particular reference to Service Oriented Architectures. As WP Leader of CHOReOS, IP EU project, FP7 (Oct, 2010 - Sep, 2013), he is currently working on a systematic approach to the enforcement of choreographies: from specification to coordination code synthesis.