I am a post-doctoral research fellow at the Department of Electronic, Computer Science and Biotechnology (DEIB) of the Polytechnic University of Milan, Italy. Before I was hired by University of Trento, Italy, for the same working position, at the the department of Information Engineering and Computer Science (DISI), where I also I received my Ph.D. in 2016.
My main research interest is the design of secure socio-technical systems. I have investigated different aspects of this research field, such as security requirements elicitation and definition, security requirements enforcement, secure business process definition, verification of procedural constraints and generation of secure code.
Currently, I’m involved in DITAS, an European project for data and computation movement in fog computing. I coordinated the effort of my research group in Trento for VisiOn, a European project for the creation of a platform for visualization and enforcement of privacy requirements, and in PACAS, another European project for participatory architectural change management in ATM systems. I was also involved in Aniketos, another European project about the security of service compositions at design time and runtime, and in ERC-Lucretius, an ERC project focused in designing software systems that evolve in response to changes in their requirements.