I'm Associate Professor at the Computer Science Division of the University of Camerino. My research interest deals with the development of languages and techniques for the modelling, analysis and development of process-aware information systems and services-oriented applications. My goal is to push the use of formal methods as methodological and automatic tools for the development of high-quality software development. Solutions have been applied to a wide range of applications domain such as smart manufacturing, smart government, smart home and smart city.